Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25–29, 2012. Proceedings. (English) Zbl 1245.68011
Lecture Notes in Computer Science 7347. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). xii, 419 p. (2012).
Show indexed articles as search result.
The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1216.68030].Indexed articles:
Hoare, Tony, Net models for concurrent object behaviour, 1-2 [Zbl 1357.68137]
Finkel, Alain; Goubault-Larrecq, Jean, The theory of WSTS: the case of complete WSTS, 3-31 [Zbl 1357.68135]
Mailund, Thomas; Halager, Anders E.; Westergaard, Michael, Using colored Petri nets to construct coalescent hidden Markov models: automatic translation from demographic specifications to efficient inference methods, 32-50 [Zbl 1358.92069]
Solé, Marc; Carmona, Josep, An SMT-based discovery algorithm for C-nets, 51-71 [Zbl 1357.68143]
van der Aalst, Wil M. P., Decomposing process mining problems using passages, 72-91 [Zbl 1357.68146]
Liu, Guan Jun; Sun, Jun; Liu, Yang; Dong, Jin Song, Complexity of the soundness problem of bounded workflow nets, 92-107 [Zbl 1357.68075]
Martos-Salgado, María; Rosa-Velardo, Fernando, Cost soundness for priced resource-constrained workflow nets, 108-127 [Zbl 1358.90066]
Badouel, Eric, On the \(\alpha \)-reconstructibility of workflow nets, 128-147 [Zbl 1358.90065]
Weidlich, Matthias; van der Werf, Jan Martijn, On profiles and footprints – relational semantics for Petri nets, 148-167 [Zbl 1358.90067]
Fahland, Dirk; Prüfer, Robert, Data and abstraction for scenario-based modeling with Petri nets, 168-187 [Zbl 1357.68134]
Wang, Xu, Maximal confluent processes, 188-207 [Zbl 1357.68145]
Valmari, Antti; Hansen, Henri, Old and new algorithms for minimal coverability sets, 208-227 [Zbl 1357.68144]
Lehmann, Andreas; Lohmann, Niels; Wolf, Karsten, Stubborn sets for simple linear time properties, 228-247 [Zbl 1357.68114]
Evangelista, Sami; Kristensen, Lars Michael, Hybrid on-the-fly LTL model checking with the sweep-line method, 248-267 [Zbl 1357.68112]
Rakow, Astrid, Safety slicing Petri nets, 268-287 [Zbl 1357.68141]
Bera, Debjyoti; van Hee, Kees M.; van der Werf, Jan Martijn, Designing weakly terminating ROS systems, 328-347 [Zbl 1357.68243]
Heitmann, Frank; Köhler-Bußmeier, Michael, P- and T-systems in the nets-within-nets-formalism, 368-387 [Zbl 1357.68136]
MSC:
| 68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
| 68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
| 00B25 | Proceedings of conferences of miscellaneous specific interest |
