Lectures on Petri nets. 1: Basic models. Advances in Petri nets (Q1273576): Difference between revisions

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Rozenberg, Grzegorz; Engelfriet, Joost}, Elementary net systems, 12-121 [Zbl 0926.68082] \textit{Desel, Jörg; Reisig, Wolfgang}, Place/transition Petri nets, 122-173 [Zbl 0926.68083] \textit{Smith, Einar}, Principles of high-level net theory, 174-210 [Zbl 0926.68084] \textit{Desel, Jörg}, Basic linear algebraic techniques for place/transition nets, 257-308 [Zbl 0926.68085] \textit{Silva, Manuel; Teruel, Enrique; Colom, José Manuel}, Linear algebraic and linear programming techniques for the analysis of place/transition net systems, 309-373 [Zbl 0926.68086] \textit{Esparza, Javier}, Decidability and complexity of Petri net problems. An introduction, 374-428 [Zbl 0926.68087] \textit{Badouel, Eric; Darondeau, Philippe}, Theory of regions, 529-586 [Zbl 0926.68088] \textit{Nielsen, Mogens; Sassone, Vladimiro}, Petri nets and other models of concurrency, 587-642 [Zbl 0926.68089] \textit{Thiagarajan, P. S.; Henriksen, Jesper G.}, Distributed versions of linear time temporal logic: A trace perspective, 643-681 [Zbl 0934.03025]