Abstract is missing.
- Propagation NetsKurt Lautenbach. 1-19 [doi]
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model CheckingChristel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner. 20-39 [doi]
- Complex Networks and Link Streams for the Empirical Analysis of Large SoftwareMatthieu Latapy, Jordan Viard. 40-50 [doi]
- Soundness of Timed-Arc Workflow NetsJosé Antonio Mateo, Jirí Srba, Mathias Grund Sørensen. 51-70 [doi]
- Process Model Discovery: A Method Based on Transition System DecompositionAnna Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst. 71-90 [doi]
- Discovering Block-Structured Process Models from Incomplete Event LogsSander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst. 91-110 [doi]
- Synthesis of Persistent SystemsEike Best, Raymond R. Devillers. 111-129 [doi]
- Learning Transparent Data AutomataNormann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. 130-149 [doi]
- A Programming Language for Spatial Distribution of Net SystemsPawel Sobocinski, Owen Stephens. 150-169 [doi]
- Flow Unfolding of Multi-clock NetsGiovanni Casu, G. Michele Pinna. 170-189 [doi]
- Non-interference by UnfoldingPaolo Baldan, Alberto Carraro. 190-209 [doi]
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent SystemsArtem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, Arthur H. M. ter Hofstede. 210-232 [doi]
- On Weighted Petri Net TransducersRobert Lorenz 0001, Markus Huber, Günther Wirsching. 233-252 [doi]
- Exhibition of a Structural Bug with WingsFlorent Avellaneda, Rémi Morin. 253-272 [doi]
- Analysis of Petri Net Models through Stochastic Differential EquationsMarco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo. 273-293 [doi]
- Dynamic Networks of Timed Petri NetsMaría Martos-Salgado, Fernando Rosa Velardo. 294-313 [doi]
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an ApplicationErnst W. Mayr, Jeremias Weihmann. 314-333 [doi]
- On the Reversibility of Well-Behaved Weighted Choice-Free SystemsThomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon. 334-353 [doi]
- (Stochastic) Model Checking in GreatSPNElvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli. 354-363 [doi]
- StrataGEM: A Generic Petri Net Verification FrameworkEdmundo López Bóbeda, Maximilien Colange, Didier Buchs. 364-373 [doi]
- A Steering Server for Collaborative Simulation of Quantitative Petri NetsMostafa Herajy, Monika Heiner. 374-384 [doi]
- Kaira: Development Environment for MPI ApplicationsStanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský. 385-394 [doi]