Lectures on concurrency and Petri nets. Advances in Petri nets. (Q704167)

The articles of this volume will be reviewed individually. Indexed articles: \textit{van der Aalst, Wil M. P.}, Business process management demystified: A tutorial on models, systems and standards for workflow management, 1-65 [Zbl 1088.68669] \textit{Barak, Dan; Harel, David; Marelly, Rami}, InterPlay: Horizontal scale-up and transition to design in scenario-based programming, 66-86 [Zbl 1088.68815] \textit{Bengtsson, Johan; Yi, Wang}, Timed automata: Semantics, algorithms and tools, 87-124 [Zbl 1088.68119] \textit{Bernardi, Simona; Bobbio, Andrea; Donatelli, Susanna}, Petri nets and dependability, 125-179 [Zbl 1088.68654] \textit{Best, Eike; Koutny, Maciej}, Process algebra. A Petri-net-oriented tutorial., 180-209 [Zbl 1088.68655] \textit{Billington, Jonathan; Gallasch, Guy Edward; Han, Bing}, A coloured Petri net approach to protocol verification, 210-290 [Zbl 1088.68656] \textit{Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo}, Extending the zero-safe approach to coloured, reconfigurable and dynamic nets, 291-327 [Zbl 1088.68120] \textit{Busi, Nadia; Gorrieri, Roberto}, A survey on non-interference with Petri nets, 328-344 [Zbl 1088.68121] \textit{Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex}, Synthesis of asynchronous hardware from Petri nets, 345-401 [Zbl 1088.68504] \textit{Christensen, Søren; Jørgensen, Jens Bæk}, Teaching coloured Petri nets: Examples of courses and lessons learned, 402-412 [Zbl 1088.68658] \textit{Darondeau, Philippe}, Unbounded Petri net synthesis, 413-438 [Zbl 1088.68123] \textit{Denaro, Giovanni; Pezzè, Mauro}, Petri nets and software engineering, 439-466 [Zbl 1088.68660] \textit{Desel, Jörg; Milijic, Vesna; Neumair, Christian}, Model validation in controller design, 467-495 [Zbl 1088.93502] \textit{Ehrig, Hartmut; Padberg, Julia}, Graph grammars and Petri net transformations, 496-536 [Zbl 1088.68079] \textit{Genest, Blaise; Muscholl, Anca; Peled, Doron}, Message sequence charts, 537-558 [Zbl 1088.68124] \textit{Heckel, Reiko; Voigt, Hendrik}, Model-based development of executable business processes for web services, 559-584 [Zbl 1088.68541] \textit{Juhás, Gabriel; Lorenz, Robert; Neumair, Christian}, Modelling and control with modules of signal nets, 585-625 [Zbl 1088.93002] \textit{Kristensen, Lars Michael; Jørgensen, Jens Bæk; Jensen, Kurt}, Application of coloured Petri nets in system development, 626-685 [Zbl 1088.68664] \textit{Milner, Robin}, Bigraphs for Petri nets, 686-701 [Zbl 1088.68125] \textit{Nielsen, Mogens; Valencia, Frank D.}, Notes on timed concurrent constraint programming, 702-741 [Zbl 1088.68128] \textit{Recalde, Laura; Silva, Manuel; Ezpeleta, Joaquín; Teruel, Enrique}, Petri nets and manufacturing systems: An examples-driven tour, 742-788 [Zbl 1088.68666] \textit{Roychoudhury, Abhik; Thiagarajan, Pazhamaneri Subramaniam}, Communicating transaction processes: An MSC-based model of computation for reactive embedded systems, 789-818 [Zbl 1088.68133] \textit{Valk, Rüdiger}, Object Petri nets. Using the nets-within-nets paradigm., 819-848 [Zbl 1088.68135]