Trace theory. Petri Nets, Applications and Relationship to other Models (1987)

by A Mazurkiewicz
Venue:of Concurrency, LNCS 255