Sequential and concurrent behaviour (1987)

by E Best, R Devillers
Venue:in Petri net theory’, Theoretical Computer Science