Skip to main content
  • Conference proceedings
  • © 1999

Application and Theory of Petri Nets 1999

20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings

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

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

Conference proceedings info: ICATPN 1999.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (24 papers)

  1. Front Matter

    Pages I-VIII
  2. Structural Methods to Improve the Symbolic Analysis of Petri Nets

    • Enric Pastor, Jordi Cortadella, Marco A. Peña
    Pages 26-45
  3. Stubborn Sets for Standard Properties

    • Karsteb Schmidt
    Pages 46-65
  4. Petri Net Based Behavioural Specification of CORBA Systems

    • Rémi Bastide, Philippe Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
    Pages 66-85
  5. Symmetric Communication between Coloured Petri Net Simulations and Java-Processes

    • Olaf Kummer, Daniel Moldt, Frank Wienberg
    Pages 86-105
  6. Autonomous Continuous P/T Systems

    • Laura Recalde, Enrique Teruel, Manuel Silva
    Pages 107-126
  7. An Approach to the Analysis of Interworking Traders

    • A. Tokmakoff, J. Billington
    Pages 127-146
  8. Monitoring Discrete Event Systems Using Petri Net Embeddings

    • Christoforos N. Hadjicostis, George C. Verghese
    Pages 188-207
  9. Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets

    • Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto Sangiovanni-Vincentelli
    Pages 208-227
  10. Theoretical Aspects of Recursive Petri Nets

    • Serge Haddad, Denis Poitrenaud
    Pages 228-247
  11. Petri Net Theory — Problems Solved by Commutative Algebra

    • Christoph Schneider, Joachim Wehler
    Pages 248-267
  12. Net Theory and Workflow Models

    • Giorgio De Michelis
    Pages 282-283
  13. Trace Channel Nets

    • Jean Fanchon
    Pages 304-323

Editors and Affiliations

  • Dipartimento di Informatica, Università di Torino, Torino, Italy

    Susanna Donatelli

  • LIACS, Leiden University , Leiden, The Netherlands

    Jetty Kleijn

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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