Abstract is missing.
- Expressiveness and Efficient Analysis of Stochastic Well-Formed NetsGiuliana Franceschinis. 1-14 [doi]
- Applications of Craig Interpolation to Model CheckingKenneth L. McMillan. 15-16 [doi]
- Towards an Algebra for Security PoliciesJonathan D. Pincus, Jeannette M. Wing. 17-25 [doi]
- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and ControlManuel Silva, Laura Recalde. 26-47 [doi]
- Genetic Process MiningWil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters. 48-69 [doi]
- The (True) Concurrent Markov Property and Some Applications to Markov NetsSamy Abbes. 70-89 [doi]
- On the Equivalence Between Liveness and Deadlock-Freeness in Petri NetsKamel Barkaoui, Jean-Michel Couvreur, Kais Klai. 90-107 [doi]
- Extremal Throughputs in Free-Choice NetsAnne Bouillard, Bruno Gaujal, Jean Mairesse. 108-127 [doi]
- A Framework to Decompose GSPN ModelsLeonardo Brenner, Paulo Fernandes, Afonso Sales, Thais Webber. 128-147 [doi]
- Modeling Dynamic Architectures Using Nets-Within-NetsLawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke. 148-167 [doi]
- A High Level Language for Structural Relations in Well-Formed NetsLorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis. 168-187 [doi]
- Derivation of Non-structural Invariants of Petri Nets Using Abstract InterpretationRobert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella. 188-207 [doi]
- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri NetsJean-Paul Comet, Hanna Klaudel, Stéphane Liauzu. 208-227 [doi]
- Termination Properties of TCP s Connection Management ProceduresBing Han, Jonathan Billington. 228-249 [doi]
- Soundness of Resource-Constrained Workflow NetsKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. 250-267 [doi]
- High-Level Nets with Nets and Rules as TokensKathrin Hoffmann, Hartmut Ehrig, Till Mossakowski. 268-288 [doi]
- Can I Execute My Scenario in Your Net?Gabriel Juhás, Robert Lorenz, Jörg Desel. 289-308 [doi]
- Reference and Value Semantics Are Equivalent for Ordinary Object Petri NetsMichael Köhler, Heiko Rölke. 309-328 [doi]
- Particle Petri Nets for Aircraft Procedure Monitoring Under UncertaintyCharles Lesire, Catherine Tessier. 329-348 [doi]
- On the Expressive Power of Petri Net SchemataWolfgang Reisig. 349-364 [doi]
- Determinate STG Decomposition of Marked GraphsMark Schäfer, Walter Vogler, Petr Jancar. 365-384 [doi]
- Timed-Arc Petri Nets vs. Networks of Timed AutomataJirí Srba. 385-402 [doi]
- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri NetsLisa Wells, Thomas Maier. 403-422 [doi]
- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset NetsMoe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. 423-443 [doi]
- The ProM Framework: A New Era in Process Mining Tool SupportBoudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst. 444-454 [doi]
- High Level Petri Nets Analysis with HelenaSami Evangelista. 455-464 [doi]
- Protos 7.0: Simulation Made AccessibleEric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk. 465-474 [doi]