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