Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see Zbl 1189.68013.
Indexed articles:
Randell, Brian, Occurrence nets then and now: the path to structured occurrence nets, 1-16 [Zbl 1330.68215]
Heiner, Monika; Gilbert, David, How Petri nets might enhance your systems biology toolkit, 17-37 [Zbl 1332.92021]
Giua, Alessandro, State estimation and fault detection using Petri nets, 38-48 [Zbl 1330.68202]
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain, Forward analysis and model checking for trace bounded WSTS, 49-68 [Zbl 1330.68197]
Reynier, Pierre-Alain; Servais, Frédéric, Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning, 69-88 [Zbl 1330.68216]
Khomenko, Victor; Mokhov, Andrey, An algorithm for direct construction of complete merged processes, 89-108 [Zbl 1330.68206]
Pinna, G. Michele, How much is worth to remember? A taxonomy based on Petri nets unfoldings, 109-128 [Zbl 1330.68214]
Couvreur, Jean-Michel; Poitrenaud, Denis; Weil, Pascal, Branching processes of general Petri nets, 129-148 [Zbl 1330.68199]
van Hee, Kees M.; Sidorova, Natalia; van der Werf, Jan Martijn, Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!, 149-168 [Zbl 1330.68218]
Westergaard, Michael; Maggi, Fabrizio M., Modeling and verification of a protocol for operational support using coloured Petri nets, 169-188 [Zbl 1332.90133]
Wimmel, Harro; Wolf, Karsten, Finding a witness path for non-liveness in free-choice nets, 189-207 [Zbl 1330.68217]
Peschanski, Frédéric; Klaudel, Hanna; Devillers, Raymond, A Petri net interpretation of open reconfigurable systems, 208-227 [Zbl 1330.68212]
Kleijn, Jetty; Koutny, Maciej, The mutex paradigm of concurrency, 228-247 [Zbl 1330.68209]
Hansen, Henri; Wang, Xu, On the origin of events: branching cells as stubborn sets, 248-267 [Zbl 1330.68204]
Billington, Jonathan; Gallasch, Guy Edward, On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet, 268-287 [Zbl 1330.68193]
Haddad, S.; Mairesse, J.; Nguyen, H-T., Synthesis and analysis of product-form Petri nets, 288-307 [Zbl 1330.68203]
Xu, Dianxiang, A tool for automated test code generation from high-level Petri nets, 308-317 [Zbl 1330.68049]
Kindler, Ekkart, The ePNK: an extensible Petri net tool for PNML, 318-327 [Zbl 1330.68208]
Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y., Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag, 338-347 [Zbl 1330.68198]