Sequential and concurrent behaviour in Petri net theory (1987)

by E Best, R Devillers
Venue:Theoretical Computer Science