20. ICATPN 1999: Williamsburg, VA, USA

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

Last update Tue May 22 23:22:46 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page