Sequential and concurrent behaviour (1987)

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