Abstract is missing.
- Challenges and Opportunities for Formal Specifications in Service Oriented ArchitecturesGustavo Alonso. 1-6 [doi]
- Modeling Interactions between Biochemical ReactionsAndrzej Ehrenfeucht, Grzegorz Rozenberg. 7 [doi]
- Transaction CalculusJifeng He. 8 [doi]
- Stratifying Winning Positions in Parity GamesHuimin Lin. 9-11 [doi]
- On the Physical Basics of Information FlowCarl Adam Petri. 12 [doi]
- Faster Unfolding of General Petri Nets Based on Token FlowsRobin Bergenthum, Robert Lorenz, Sebastian Mauser. 13-32 [doi]
- Decomposition Theorems for Bounded Persistent Petri NetsEike Best, Philippe Darondeau. 33-51 [doi]
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case StudyFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. 52-71 [doi]
- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri NetsRoland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau. 72-91 [doi]
- A Symbolic Algorithm for the Synthesis of Bounded Petri NetsJosep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev. 92-111 [doi]
- Synthesis of Nets with Step Firing PoliciesPhilippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev. 112-131 [doi]
- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri NetsLay G. Ding, Lin Liu. 132-151 [doi]
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc NetworksKristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen. 152-170 [doi]
- Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network ScenarioPaul Fleischer, Lars Michael Kristensen. 171-190 [doi]
- Parametric Language Analysis of the Class of Stop-and-Wait ProtocolsGuy Edward Gallasch, Jonathan Billington. 191-210 [doi]
- Hierarchical Set Decision Diagrams and Automatic SaturationAlexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon. 211-230 [doi]
- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing SpeedsKunihiko Hiraishi. 231-250 [doi]
- Modelling Concurrency with Quotient MonoidsRyszard Janicki, Dai Tri Man Le. 251-269 [doi]
- Labeled Step Sequences in Petri NetsMatthias Jantzen, Georg Zetzsche. 270-287 [doi]
- MC-SOG: An LTL Model Checker Based on Symbolic Observation GraphsKais Klai, Denis Poitrenaud. 288-306 [doi]
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)Morgan Magnin, Didier Lime, Olivier H. Roux. 307-326 [doi]
- A Practical Approach to Verification of Mobile Systems Using Net UnfoldingsRoland Meyer, Victor Khomenko, Tim Strazny. 327-347 [doi]
- Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence PlanningHendrik Oberheid, Dirk Söffker. 348-367 [doi]
- Process Discovery Using Integer Linear ProgrammingJan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik. 368-387 [doi]
- Synthesis of Petri Nets from Scenarios with VipToolRobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser. 388-398 [doi]
- A Monitoring Toolset for PaoseLawrence Cabac, Till Dörges, Heiko Rölke. 399-408 [doi]
- Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net ModelsJoão Lourenco, Luís Gomes. 409-418 [doi]
- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri NetsFausto Sessego, Alessandro Giua, Carla Seatzu. 419-428 [doi]