1 “... of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent...”

2 “... and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital...”