Lectures on Petri nets. 1: Basic models. Advances in Petri nets (Q1273576)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1232411
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Lectures on Petri nets. 1: Basic models. Advances in Petri nets |
scientific article; zbMATH DE number 1232411 |
Statements
Lectures on Petri nets. 1: Basic models. Advances in Petri nets (English)
0 references
10 December 1998
0 references
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]
0 references
Petri nets
0 references
Basic models
0 references
