A distributed simulator for high order Petri nets (1990)

by R Btler, R Esser, R Mattman
Venue:of Lecture Notes in Computer Science