Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.) Lectures on Petri nets. 1: Basic models. Advances in Petri nets. (English) Zbl 0903.00072 Lecture Notes in Computer Science. 1491. Berlin: Springer. xii, 683 p. (1998). Show indexed articles as search result. The articles of mathematical interest will be reviewed individually.Indexed articles:Rozenberg, Grzegorz; Engelfriet, Joost, Elementary net systems, 12-121 [Zbl 0926.68082]Desel, Jörg; Reisig, Wolfgang, Place/transition Petri nets, 122-173 [Zbl 0926.68083]Smith, Einar, Principles of high-level net theory, 174-210 [Zbl 0926.68084]Desel, Jörg, Basic linear algebraic techniques for place/transition nets, 257-308 [Zbl 0926.68085]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]Esparza, Javier, Decidability and complexity of Petri net problems. An introduction, 374-428 [Zbl 0926.68087]Badouel, Eric; Darondeau, Philippe, Theory of regions, 529-586 [Zbl 0926.68088]Nielsen, Mogens; Sassone, Vladimiro, Petri nets and other models of concurrency, 587-642 [Zbl 0926.68089]Thiagarajan, P. S.; Henriksen, Jesper G., Distributed versions of linear time temporal logic: A trace perspective, 643-681 [Zbl 0934.03025] Cited in 25 Documents MSC: 00B25 Proceedings of conferences of miscellaneous specific interest 68-06 Proceedings, conferences, collections, etc. pertaining to computer science Keywords:Petri nets; Basic models PDF BibTeX XML Cite \textit{W. Reisig} (ed.) and \textit{G. Rozenberg} (ed.), Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer (1998; Zbl 0903.00072)