Philippe Darondeau
-
The synthesis of petri nets from path-automatic specifications
Information and Computation
Regions of Petri nets with a/sync connections
Theoretical Computer Science