Skip to main content
  • Conference proceedings
  • © 1994

Application and Theory of Petri Nets 1994

15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings

Editors:

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

Conference series link(s): ICATPN: International Conference on Application and Theory of Petri Nets

Conference proceedings info: ICATPN 1994.

Buy it now

Buying options

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

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

Table of contents (31 papers)

  1. Liveness in bounded Petri nets which are covered by T-invariants

    • Kurt Lautenbach, Hanno Ridder
    Pages 358-375
  2. Modelling the work flow of a nuclear waste management program

    • Kjeld H. Mortensen, Valerio Pinci
    Pages 376-395
  3. Petri net analysis using boolean manipulation

    • Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia
    Pages 416-435
  4. Modelling of pilot behaviour using petri nets

    • W. Ruckdeschel, R. Onken
    Pages 436-453
  5. Simulation and analysis of a document storage system

    • Gert Scheschonk, Michael Timpe
    Pages 454-470
  6. Cooperative Nets

    • C. Sibertin-Blanc
    Pages 471-490
  7. Well-formedness of Equal Conflict systems

    • Enrique Teruel, Manuel Silva
    Pages 491-510
  8. Symbolic, symmetry, and stubborn set searches

    • Mikko Tiusanen
    Pages 511-530
  9. OR causality: Modelling and hardware implementation

    • Alex Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
    Pages 568-587
  10. Back Matter

About this book

This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.
The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets.

Bibliographic Information

Buy it now

Buying options

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