an:04030996
Zbl 0633.68051
Mazurkiewicz, Antoni
Trace theory
EN
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).
1987
a
68Q85 68Q45
Petri net; partially commutative manoid; event occurrence; dependency relation; introductory overview; traces; concurrent systems; bibliography
[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.
M.Jantzen
Zbl 0619.00024