Abstract is missing.
- IntroductionClaudine Chaouiya, Monika Heiner. 5-6 [doi]
- Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction NetworksMurad Banaji. 7-22 [doi]
- On the Importance of the Deadlock Trap Property for Monotonic LivenessMonika Heiner, Cristian Mahulea, Manuel Silva. 23-38 [doi]
- Modelling Gradients using Petri NetsLaura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek. 39-53 [doi]
- Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent ServerAlessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini. 55-69 [doi]
- Colored Petri nets to Model and Simulate Biological SystemsFei Liu, Monika Heiner. 71-85 [doi]
- Control of Metabolic Systems Modeled with Timed Continuous Petri NetsRoberto Ross-León, Antonio Ramírez-Treviño, José Alejandro Morales, Javier Ruiz-León. 87-102 [doi]
- Model Transformation of Metabolic Networks using a Petri Net Based FrameworkDaniel Machado, Rafael S. Costa, Miguel Rocha, Isabel Rocha, Bruce Tidor, Eugénio C. Ferreira. 103-117 [doi]
- Applying Petri Nets for the Analysis of the GSH-ASC Cycle in ChloroplastsHermenegilda Macià, M. Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero. 119-133 [doi]
- Petri Net Modeling via a Modular and Hierarchical Approach Applied to NociceptionMary Ann Blätke, Sonja Meyer, Christoph Stein, Wolfgang Marwan. 135-146 [doi]
- IntroductionJörg Desel, Alex Yakovlev. 149 [doi]
- Modeling and Mining of Collarobative LearnflowsRobin Bergenthum, Andreas Harrer, Sebastian Mauser. 151-159 [doi]
- Synthesis of General Petri Nets with LocalitiesMaciej Koutny, Marta Pietkiewicz-Koutny. 161-174 [doi]
- Incremental Process MiningMarc Solé, Josep Carmona. 175-190 [doi]
- PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow ProcessesMartin Riesz, Martin Seckár, Gabriel Juhás. 191-205 [doi]
- A Tool for the Synthesis of Asynchronous Speed-Independent CircuitsOndrej Gallo, Tomás Necas, Fedor Lehocki. 207-211 [doi]
- IntroductionMichael Duvigneau, Daniel Moldt. 215-216 [doi]
- Combining Petri Nets and UML for Model-based Software EngineeringJoão M. Fernandes. 217-218 [doi]
- The Resource Allocation Problem in Software Applications: A Petri Net PerspectiveJuan-Pablo López-Grao, José Manuel Colom. 219-233 [doi]
- IRS-MT: Tool for Intelligent Resource AllocationPiotr Chrzastowski-Wachtel, Jakub Rauch. 235-250 [doi]
- Deadlock Control Software for Tow Automated Guided Vehicles using Petri NetsCarlos A. Rovetto, Elia E. Cano, José Manuel Colom. 251-265 [doi]
- Nets-Within-Nets Paradigm and Grid ComputingMarco Mascheroni, Fabio Farina. 267-283 [doi]
- Verifying Reference Nets By Means of Hypernets: a Plugin for RenewMarco Mascheroni, Thomas Wagner, Lars Wüstenberg. 285-299 [doi]
- Improving a Workflow Management System with an Agent FlavourDaniel Moldt, José Ghislain Quenum, Christine Reese, Thomas Wagner. 301-316 [doi]
- Automata and Petri Net Models for Visualizing and Analyzing Complex Questionnaires: A Case StudyHeiko Rölke. 317-329 [doi]
- Detecting and Repairing Unintentional Change on In-use Data in Concurrent Workflow Management SystemThi Thanh Huyen Phan, Koichiro Ochimizu. 331-351 [doi]
- Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNsManuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, J. Schoenboeck, Wieland Schwinger. 353-368 [doi]
- IntroductionDidier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg. 371 [doi]
- On Persistent Reachability in Petri NetsKamila Barylska, Lukasz Mikulski, Edward Ochmanski. 373-384 [doi]
- Process Refinement and Asynchronous Composition with ModalitiesDorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker. 385-401 [doi]
- Generating Benchmarks by Random Stepwise Refinement of Petri NetsKees M. van Hee, Zheng Liu. 403-417 [doi]
- Bounded Model Checking for Parametric Timed AutomataMichal Knapik, Wojciech Penczek. 419-435 [doi]
- Specification of Decision Diagram OperationsAlexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi. 437-451 [doi]
- Towards Automatic Composition of Web Services: A SAT-Based PhaseWojciech Penczek, Agata Pólrola, Andrzej Zbrzezny. 453-473 [doi]
- Improving the Significance of Benchmarks for Petri Nets Model CheckersSteve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi. 475-489 [doi]