20. ICATPN 1999: Williamsburg, VA, USA

@proceedings{DBLP:conf/apn/1999,
  editor    = {Susanna Donatelli and
               H. C. M. Kleijn},
  title     = {Application and Theory of Petri Nets 1999, 20th International
               Conference, ICATPN '99, Williamsburg, Virginia, USA, June  21-25,
               1999, Proceedings},
  booktitle = {ICATPN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1639},
  year      = {1999},
  isbn      = {3-540-66132-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Pravin Varaiya:
  Design, Simulation, and Implementation of Hybrid Systems. 1-5
  Electronic Edition (Springer LINK) BibTeX
• Andrew S. Miner, Gianfranco Ciardo:
  Efficient Reachability Set Generation and Storage Using Decision Diagrams. 6-25
  Electronic Edition (Springer LINK) BibTeX
• Enric Pastor, Jordi Cortadella, Marco A. Peña:
  Structural Methods to Improve the Symbolic Analysis of Petri Nets. 26-45
  Electronic Edition (Springer LINK) BibTeX
• Karsten Schmidt:
  Stubborn Sets for Standard Properties. 46-65
  Electronic Edition (Springer LINK) BibTeX
• Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre:
  Petri Net Based Behavioural Specification of CORBA Systems. 66-85
  Electronic Edition (Springer LINK) BibTeX
• Olaf Kummer, Daniel Moldt, Frank Wienberg:
  Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. 86-105
  Electronic Edition (Springer LINK) BibTeX
• Bruce H. Krogh:
  Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). 106
  Electronic Edition (Springer LINK) BibTeX
• Laura Recalde, Enrique Teruel, Manuel Silva:
  Autonomous Continuous P/T Systems. 107-126
  Electronic Edition (Springer LINK) BibTeX
• Andrew Tokmakoff, Jonathan Billington:
  An Approach to the Analysis of Interworking Traders. 127-146
  Electronic Edition (Springer LINK) BibTeX
• Susann C. Allmaier, David Kreische:
  Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets. 147-167
  Electronic Edition (Springer LINK) BibTeX
• Lorenzo Capra, Rossano Gaeta, Oliver Botti:
  SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation. 168-187
  Electronic Edition (Springer LINK) BibTeX
• Christoforos N. Hadjicostis, George C. Verghese:
  Monitoring Discrete Event Systems Using Petri Net Embeddings. 188-207
  Electronic Edition (Springer LINK) BibTeX
• Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
  Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. 208-227
  Electronic Edition (Springer LINK) BibTeX
• Serge Haddad, Denis Poitrenaud:
  Theoretical Aspects of Recursive Petri Nets. 228-247
  Electronic Edition (Springer LINK) BibTeX
• Christoph Schneider, Joachim Wehler:
  Petri Net Theory - Problems Solved by Commutative Algebra. 248-267
  Electronic Edition (Springer LINK) BibTeX
• Piotr Chrzastowski-Wachtel:
  Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem. 268-281
  Electronic Edition (Springer LINK) BibTeX
• Giorgio De Michelis:
  Net Theory and Workflow Models (abstract). 282-283
  Electronic Edition (Springer LINK) BibTeX
• Walter Vogler:
  Concurrent Implementation of Asynchronous Transition Systems. 284-303
  Electronic Edition (Springer LINK) BibTeX
• Jean Fanchon:
  Trace Channel Nets. 304-323
  Electronic Edition (Springer LINK) BibTeX
• Gabriel Juhás:
  Reasoning about Algebraic Generalisation of Petri Nets. 324-343
  Electronic Edition (Springer LINK) BibTeX
• Eike Best, Raymond R. Devillers, Maciej Koutny:
  The Box Algebra - A Model of Nets and Process Expressions. 344-363
  Electronic Edition (Springer LINK) BibTeX
• Jean-Michel Couvreur, Denis Poitrenaud:
  Detection of Illegal Behaviors Based on Unfoldings. 364-383
  Electronic Edition (Springer LINK) BibTeX
• To-Yat Cheung, Yiqin Lu:
  Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. 384-403
  Electronic Edition (Springer LINK) BibTeX
• Thomas Baar, Ekkart Kindler, Hagen Völzer:
  Verifying Intuition - ILF Checks DAWN Proofs. 404-424
  Electronic Edition (Springer LINK) BibTeX