zbMATH — the first resource for mathematics

Trace theory. (English) Zbl 0633.68051
Petri nets: applications and relationships to other models of concurrency, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 255, 279-324 (1987).
[For the entire collection see Zbl 0619.00024.]
This is an introductory overview on the theory and use of traces in the study and analysis of concurrent systems. It presents facts and methods offered by trace theory by leaving out the details of the proofs. These may be accessed through the many references in the bibliography on traces.
Reviewer: M.Jantzen

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q45 Formal languages and automata