Deriving Unbounded Petri Nets from Formal Languages.

Philippe Darondeau

Browse the full CONCUR paper archive.