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