Unifying Petri nets. Advances in Petri nets (Q5952661)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Desel, Jörg; Juhás, Gabriel}, ``What is a Petri net?'' Informal answers for the informed reader, 1-25 [Zbl 1018.68506] \textit{Gajewsky, Meike; Ehrig, Hartmut}, The ``Petri Net Baukasten'': An overview, 26-53 [Zbl 1018.68508] \textit{Weber, Herbert; Lembke, Sabine; Borusan, Alexander}, Improving the usability of Petri nets with the ``Petri Net Baukasten'', 54-78 [Zbl 1018.68510] \textit{Ermel, Claudia; Weber, Michael}, Implementation of parameterized net classes with the Petri net kernel of the ``Petri Net Baukasten'', 79-102 [Zbl 1018.68507] \textit{Gruhn, Volker; Wellen, Ursula}, Process landscaping: Modelling distributed processes and proving properties of distributed process models, 103-125 [Zbl 1018.68509] \textit{Desel, Jörg; Juhás, Gabriel; Lorenz, Robert}, Petri nets over partial algebra, 126-172 [Zbl 1017.68076] \textit{Padberg, Julia; Ehrig, Hartmut}, Parameterized net classes: A uniform approach to Petri net classes, 173-229 [Zbl 1017.68078] \textit{Padberg, Julia; Ehrig, Hartmut; Rozenberg, Grzegorz}, Behavior and realization construction for Petri nets based on free monoid and power set graphs, 230-249 [Zbl 1017.68079] \textit{Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba}, Rewriting logic as a unifying framework for Petri nets, 250-303 [Zbl 1017.68080] \textit{Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe}, Generalized automata and their net representations, 304-345 [Zbl 1017.68072] \textit{Bednarczyk, Marek A.; Borzyszkowski, Andrzej M.}, On concurrent realization of reactive systems and their morphisms, 346-379 [Zbl 1017.68073] \textit{Bruni, Roberto; Montanari, Ugo}, Transactions and zero-safe nets, 380-426 [Zbl 1017.68074] \textit{Bruni, Roberto; Sassone, Vladimiro}, Two algebraic process semantics for contextual nets, 427-456 [Zbl 1017.68075] \textit{Droste, Manfred; Shortt, R. M.}, Continuous Petri nets and transition systems, 457-484 [Zbl 1017.68077]