Abstract is missing.
- A Refined View of the Box AlgebraEike Best, Maciej Koutny. 1-20
- Distributed Algorithms and Causally Consistent ObservationsFriedemann Mattern. 21-22
- Petri Nets for Information Systems ModellingKlaus Voss. 23-24
- On Liveness in Extended non Self-Controlling NetsKamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet. 25-44
- An Algebraic Semantics for Hierarchical P/T NetsTwan Basten, Marc Voorhoeve. 45-65
- A Petri Net based Environment for the Design of Event-driven InterfacesRémi Bastide, Philippe A. Palanque. 66-83
- An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic NetsEugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio. 84-102
- A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN):::2:::Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz. 103-120
- An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri NetsRobert Brgan, Denis Poitrenaud. 121-140
- CAB: an Environment for Developing Concurrent ApplicationGiorgio Bruno, Andrea Castella, Rakesh Agarwal, Mario P. Pescarmona. 141-160
- A Notion of Equivalence for Stochastic Petri NetsPeter Buchholz. 161-180
- Parallel State Space Exploration for GSPN ModelsStefano Caselli, Gianni Conte, P. Marenzoni. 181-200
- Modular State Space Analysis of Coloured Petri NetsSøren Christensen, Laure Petrucci. 201-217
- Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy ReasoningLuís Gomes, Adolfo Steiger-Garção. 218-237
- Symbolic Reachability Graph and Partial SymmetriesSerge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari. 238-257
- Causal Behaviours and NetsJoost-Pieter Katoen. 258-277
- From Coloured Petri Nets to Object Petri NetsCharles Lakos. 278-297
- Handles and Reachability Analysis of Free Choice NetsDong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama. 298-315
- Performance Bounds for Stochastic Timed Petri NetsZhen Liu. 316-334
- An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri NetsM. Molla-Hosseini, R. M. Kerr, R. B. Randall, R. B. Platfoot. 335-356
- Subclasses of Recognizable Trace LanguagesHenning Reineke. 357-373
- Verification of Asynchronous Circuits by BDD-based Model Checking of Petri NetsOriol Roig, Jordi Cortadella, Enric Pastor. 374-391
- Parameterized Reachability Trees for Algebraic Petri NetsKarsten Schmidt 0004. 392-411
- Efficient Simulation of THOR NetsStefan Schöf, Michael Sonnenschein, Ralf Wieting. 412-431
- Functional Equivalences of Petri NetsGerlinde Schreiber. 432-450
- Hierarchical Time Stream Petri Net: A Model for Hypermedia SystemsPatrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich. 451-470
- Markov Regenerative Stochastic Petri Nets with Age Type General TransitionsMiklós Telek, Andrea Bobbio. 471-489
- Timed Processes of Timed Petri NetsValentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero. 490-509