×

zbMATH — the first resource for mathematics

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]

MSC:
00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
PDF BibTeX XML Cite