Theoretical computer science. Petri nets. (Theoretische Informatik. Petri-Netze.) (German) Zbl 1137.68452
Springer-Lehrbuch. Berlin: Springer (ISBN 3-540-44289-8). ix, 376 p. (2003).
MSC:
| 68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
| 68Q10 | Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) |
| 68Q55 | Semantics in the theory of computing |
| 68Q60 | Specification and verification (program logics, model checking, etc.) |
| 68-01 | Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science |
| 68-02 | Research exposition (monographs, survey articles) pertaining to computer science |
