Abstract is missing.
- An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket ProtocolLars Michael Kristensen. 13-14 [doi]
- Verification of Logs - Revealing Faulty Processes of a Medical LaboratoryRobin Bergenthum, Joachim Schick. 17-33 [doi]
- On-The-Fly Model Checking of Times Properties on Time Petri NetsKais Klai. 35-53 [doi]
- SMT-based Abstract Temporal PlanningArtur Niewiadomski, Wojciech Penczek. 55-74 [doi]
- Kleene Theorems for Labelled Free Choice NetsRamchandra Phawade, Kamal Lodaya. 75-89 [doi]
- Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc NetworksMihai-Lica Pura, Didier Buchs. 91-110 [doi]
- Morphisms on Marked GraphsLuca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi. 113-127 [doi]
- A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic SynchronisationDjaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir. 129-141 [doi]
- Observable LivenessJörg Desel, Görkem Kilinç. 143-163 [doi]
- Real-Time Property Specific Reduction for Time Petri NetNing Ge, Marc Pantel. 165-179 [doi]
- Visual Language Plans - Formalization of a Pedagogical Learnflow Modeling LanguageKerstin Irgang, Thomas Irgang. 181-200 [doi]
- Slicing High-level Petri NetsYasir Imtiaz Khan, Nicolas Guelfi. 201-220 [doi]
- Performance Analysis of M/G/1 Retrial Queue with Finite Source Population Using Markov Regenerative Stochastic Petri NetsIkhlef Lyes, Ouiza Lekadir, Djamil Aïssani. 221-231 [doi]
- Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity DiagramsMessaoud Rahim, Malika Boukala-Ioualalen, Hammad Ahmed. 233-248 [doi]
- Compatibility Analysis of Time Open Workflow NetsZohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb. 249-268 [doi]
- Petra: A Tool for Analysing a Process FamilyDennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers. 269-288 [doi]
- An Evaluation of Automated Code Generation with the PetriCode ApproachKent Inge Fagerland Simonsen. 289-306 [doi]
- Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary ApproachFernando Tricas, José Manuel Colom, Juan Julián Merelo Guervós. 307-322 [doi]
- Persistency and Nonviolence Decision Problems in P/T-Nets with Step SemanticsKamila Barylska. 325-330 [doi]
- Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS VisionJosé Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom. 333-334 [doi]
- Modular Modeling of SMIL Documents with Complex Termination EventsDjaouida Dahmani, Samia Mazouz, Malika Boukala. 335-336 [doi]
- D&A4WSC as a Design and Analysis Framework of Web Services CompositionRawand Guerfel, Zohra Sbaï. 337-338 [doi]
- Constructing Petri Net Transducers with PNTooLMarkus Huber, Robert Lorenz 0001. 339-341 [doi]
- SLAPN : A Tool for Slicing Algebraic Petri NetsYasir Imtiaz Khan, Nicolas Guelfi. 343-345 [doi]
- Generating CA-Plans from Multisets of ServicesLukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski. 347-348 [doi]
- LoLA as Abstract Planning Engine of PlanICSArtur Niewiadomski, Karsten Wolf. 349-350 [doi]
- PlanICS 2.0 - A Tool for Composing ServicesArtur Niewiadomski, Wojciech Penczek. 351-352 [doi]
- Petri Net Simulation as a ServicePetr Polasek, Vladimír Janousek, Milan Ceska. 353-362 [doi]