Simulation of linear FIFO nets having a structured set of terminal markings (1987)

by A Choquet, A Finkel
Venue:In Proc. 8 th European Workshop on Applications and Theory of Petri Nets