Automated parallelization of timed petri-net simulationsby David M. NicolParallel processing (Electronic computers)Petri netsWriting a summary for young readers…For young readersBook data: Open Library