Skip to main content
SpringerLink
Log in
Book cover

Application and Theory of Petri Nets 1997

18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Pierre Azéma
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gianfranco Balbo
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1248)

Included in the following conference series:

Conference proceedings info: ICATPN 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Model checking LTL using constraint programming

    • Javier Esparza, Stephan Melzer
    Pages 1-20

  3. On the composition of timed systems

    • Joseph Sifakis
    Pages 21-22

  4. Some issues about Petri net application to manufacturing and process supervisory control

    • Robert Valette
    Pages 23-41

  5. On the abstraction of coloured Petri Nets

    • Charles Lakos
    Pages 42-61

  6. Life-cycle inheritance

    • W. M. P. van der Aalst, T. Basten
    Pages 62-81

  7. Multi-agent-systems based on coloured Petri nets

    • Daniel Moldt, Frank Wienberg
    Pages 82-101

  8. On the complexity of the linear-time μ-calculus for Petri Nets

    • Peter Habermehl
    Pages 102-116

  9. Improved implementations via a new structural equivalence on labeled nets

    • Wojciech Fraczak, Elisabeth Pelz
    Pages 117-135

  10. Time processes for time Petri nets

    • Tuomas Aura, Johan Lilius
    Pages 136-155

  11. Timed Petri nets and temporal linear logic

    • Makoto Tanabe
    Pages 156-174

  12. Efficient handling of Phase-type distributions in generalized stochastic Petri nets

    • Serge Haddad, Patrice Moreaux, Giovanni Chiola
    Pages 175-194

  13. Petri's axioms of concurrency a selection of recent results

    • Olaf Kummer, Mark -Oliver Stehr
    Pages 195-214

  14. Analysis of Petri nets with a dynamic priority method

    • Falko Bause
    Pages 215-234

  15. A compositional partial order semantics for Petri net components

    • Ekkart Kindler
    Pages 235-252

  16. Covering step graph preserving failure semantics

    • François Vernadat, François Michel
    Pages 253-270

  17. Siphons, traps and high-level nets with infinite color domains

    • Karsten Schmidt
    Pages 271-289

  18. Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course

    • Søren Christensen, Kjeld H. Mortensen
    Pages 290-309

  19. Transition systems of Elementary Net Systems with inhibitor arcs

    • Marta Pietkiewicz-Koutny
    Pages 310-327

  20. Coupling asynchrony and interrupts: Place Chart Nets

    • Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alex Yakovlev
    Pages 328-347
Back to top

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation