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