Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
scientific article; zbMATH DE number 5118514