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


Zbl 0619.00024