Abstract is missing.
- Invariant Based ProgrammingRalph-Johan Back. 1-18 [doi]
- On the Integration of UML and Petri Nets in Software DevelopmentJavier Campos, José Merseguer. 19-36 [doi]
- Component Tools: Integrating Petri Nets with Other Formal MethodsEkkart Kindler, Vladimir Rubin, Robert Wagner. 37-56 [doi]
- Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software DevelopmentJianli Xu. 57-64 [doi]
- Compensation in Workflow NetsBaver Acu, Wolfgang Reisig. 65-83 [doi]
- The Synthesis Problem of NetchartsNicolas Baudru, Rémi Morin. 84-104 [doi]
- Non-sequential Behaviour of Dynamic NetsRoberto Bruni, Hernán C. Melgratti. 105-124 [doi]
- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri NetsThomas Chatain, Claude Jard. 125-145 [doi]
- On the Computation of Stubborn Sets of Colored Petri NetsSami Evangelista, Jean-François Pradat-Peyre. 146-165 [doi]
- On the Construction of Pullbacks for Safe Petri NetsEric Fabre. 166-180 [doi]
- From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network AnalysisDavid Gilbert, Monika Heiner. 181-200 [doi]
- How Expressive Are Petri Net Schemata?Andreas Glausch, Wolfgang Reisig. 201-220 [doi]
- A New Approach to the Evaluation of Non Markovian Stochastic Petri NetsSerge Haddad, Lynda Mokdad, Patrice Moreaux. 221-240 [doi]
- Nested Nets for Adaptive SystemsKees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. 241-260 [doi]
- Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri NetsMeuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga. 261-281 [doi]
- Infinite Process Semantics of Inhibitor NetsH. C. M. Kleijn, Maciej Koutny. 282-301 [doi]
- Towards Synthesis of Petri Nets from ScenariosRobert Lorenz, Gabriel Juhás. 302-321 [doi]
- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of RegionsSpyros A. Reveliotis, Jin-Young Choi. 322-341 [doi]
- On the Step Explosion ProblemStephan Roch, Karsten Schmidt 0004. 342-361 [doi]
- Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri NetsKatrin Winkelmann, Holger Luczak. 362-380 [doi]
- Can I Execute My Scenario in Your Net? VipTool Tells You!Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz. 381-390 [doi]
- Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri NetsOlivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier. 391-400 [doi]
- ArgoSPE: Model-Based Software Performance EngineeringElena Gómez-Martínez, José Merseguer. 401-410 [doi]
- Petriweb: A Repository for Petri NetsR. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf. 411-420 [doi]
- Geist3D, a Simulation Tool for Geometry-Driven Petri NetsJochen Stier, Jens H. Jahnke, Hausi A. Müller. 421-430 [doi]
- The BRITNeY Suite Animation ToolMichael Westergaard, Kristian Bisgaard Lassen. 431-440 [doi]