Title: Automated parallelization of timed petri-net simulations
First published: 1994
Subjects: Parallel processing (Electronic computers), Petri nets