Abstract is missing.
- Performance Issues in Parallel ProgrammingGianfranco Balbo. 1-23
- Combining Petri Nets and Other Formal MethodsWolfgang Reisig. 24-44
- Place Bisimulations in Petri NetsC. Autant, Ph. Schnoebelen. 45-61
- A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri NetsKamel Barkaoui, Michel Minoux. 62-75
- Refinement and Simulation of Nets - A Categorical CharacterisationCarolyn Brown, Doug Gurr. 76-92
- Scheduling Hard Real Time Systems Using High-Level Petri NetsGiorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona. 93-112
- Towards a Modular Analysis of Coloured Petri NetsSøren Christensen, Laure Petrucci. 113-133
- A Proof of the Rank Theorem for Extended Free Choice NetsJörg Desel. 134-153
- On the Product Form Solution for Stochastic Petri NetsSusanna Donatelli, Matteo Sereno. 154-172
- Obtaining Deadlock-Preserving Skeletons for Coloured NetsGreg Findlow. 173-192
- P-Superfairness in NetsHans Fleischhack. 193-204
- Formal Verification of an Arbiter CascadeHartmann J. Genrich, Robert M. Shapiro. 205-223
- Constructs for Modeling Information Systems with Petri NetsCarlos A. Heuser, Gernot Richter. 224-243
- Construction of a Class of Safe Petri Nets by Presenting Firing SequencesKunihiko Hiraishi. 244-262
- An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice NetsPeter Kemper, Falko Bause. 263-278
- Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic ProcessesGuenter Klas. 279-298
- Concurrency Relations and the Safety Problem for Petri NetsAndrei Kovalyov. 299-309
- High-Level Nets and Linear LogicJohan Lilius. 310-327
- Liveness and Boundedness Analysis for Petri Nets with Event Graph ModulesVanio M. Savi, Xiaolan Xie. 328-347
- On Weighted T-SystemsEnrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva. 348-367
- Using Petri Nets to Develop Programs for PLC SystemsGeoff Cutts, Shaun Rattigan. 368-372
- Modelling and Control of Complex Logistic Systems for ManufacturingK. Lemmer, Eckehard Schnieder. 373-378
- Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial ToolJean Christophe Lloret, J. L. Roux, B. Algayres, M. Chamontin. 379-383
- Analysis of an Ada System Using Coloured Petri Nets and Occurrence GraphsWilliam W. McLendon Jr., Richard F. Vidale. 384-388
- The Stubborn Set Method in PracticeKimmo Varpaaniemi, Marko Rauhamaa. 389-393
- Modeling Fine Grain Computation via the Fusion of Two Extended Petri NetsLinda Wilkens, James Canning, Patrick D. Krolak. 394-398