Skip to main content
  • Conference proceedings
  • © 1996

Application and Theory of Petri Nets 1996

17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings

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

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

Conference proceedings info: ICATPN 1996.

Buy it now

Buying options

Softcover Book USD 109.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 (29 papers)

  1. Front Matter

  2. On liveness and controlled siphons in Petri nets

    • Kamel Barkaoui, Jean-François Pradat-Peyre
    Pages 57-72
  3. High level synthesis of synchronous parallel controllers

    • Krzysztof Biliński, Erik L. Dagless
    Pages 93-112
  4. Non sequential semantics for contextual P/T nets

    • Nadia Busi, G. Michle Pinna
    Pages 113-132
  5. The PSR methodology: Integrating hardware and software models

    • Susanna Donatelli, Giuliana Franceschinis
    Pages 133-152
  6. Expected impulse rewards in Markov regenerative stochastic Petri nets

    • Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders
    Pages 172-191
  7. Modelling and analysis of distributed program execution in BETA using coloured Petri Nets

    • Jens Bæk Jørgensen, Kjeld Høyer Mortensen
    Pages 249-268
  8. Arc-typed Petri Nets

    • Ekkart Kindler, Rolf Walter
    Pages 289-306
  9. The SEA Language for system engineering and animation

    • B. Kleinjohann, E. Kleinjohann, J. Tacken
    Pages 307-326
  10. A structural approach for the analysis of Petri Nets by reduced unfoldings

    • Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten
    Pages 346-365

Other Volumes

  1. Application and Theory of Petri Nets 1996

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in June 1996.
The 26 revised full papers included in the book together with three invited presentations were selected from a total of 78 submissions. The book addresses the current theoretical and applicational aspects of the various types of Petri Nets and competently reflects the state of the art in the area.

Bibliographic Information

Buy it now

Buying options

Softcover Book USD 109.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