Brams, G. W. [Rault, J.-C.; Andre, Ch.; Berthelot, G.; Girault, C.; Memmi, G.; Roucairol, G.; Sifakis, J.; Valette, R.; Vidal-Naquet, G.] Réseaux de Petri: théorie et pratique. Tome 1: Théorie et analyse. Preface de J.-C. Rault. (French) Zbl 0501.68027 Paris etc.: Masson. VIII, 184 p. FF 72.00 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 18 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science Keywords:Petri nets; associated graph; associated language; incidence matrix; reachable marking; state-machine graphs; marked graphs; free-choice nets; firing sequences; rooted tree; boundedness; linear algebra techniques; structural properties; decomposition; reduction; net complexity; deadlock; traps; liveness; applications; examples Citations:Zbl 0198.326 PDF BibTeX XML