Abstract is missing.
- Replacement of Open Interface Subnets and Stable State Transformation EquivalenceGhassan Chehaibar. 1-25
- Bounded Self-Stabilizing Petri NetsLudmila Cherkasova, Rodney R. Howell, Louis E. Rosier. 26-50
- Generative Families of Positive Invariants in Coloured Nets Sub-ClassesJean-Michel Couvreur, Serge Haddad, J. F. Peyre. 51-70
- Autonomous And Timed Continous Petri NetsRené David, Hassane Alla. 71-90
- The Devnet: a Petri Net for Discrete Event SimulationJohn B. Evans. 91-125
- A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri NetsJoaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva. 126-147
- A Concept of Hierarchical Petri Nets with Building BlocksRainer Fehling. 148-168
- Petri Net Tool Overview 1992Frits Feldbrugge. 169-209
- The Minimal Coverability Graph for Petri NetsAlain Finkel. 210-243
- Distributed Implementation of CCSRoberto Gorrieri, Ugo Montanari. 244-266
- Saturation Conditions For Stochastic Petri NetsR. Gouet, F. Plo, M. San Miguel, Bernard Ycart. 267-280
- Marking Optimization In Timed Event GraphsS. Lafitt, J. M. Proth, X. L. Xie. 281-300
- Parameterized Reachability Trees for Predicate/Transition NetsMarkus Lindquist. 301-324
- Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri NetsYao Li, C. Murray Woodside. 325-349
- Constraints and Extensions in a Calculus of EN SystemsGiorgio De Michelis. 350-370
- Comparability Orders and MeasurementEinar Smith. 371-405
- Deterministic Systems of Sequential Processes: a class of structured Petri netsYounes Souissi. 406-426
- Compositional State Space GenerationAntti Valmari. 427-457