Exploring impact of time management services on HLA-based Petri Nets Simulation Engine

We describe a HLA-based Stochastic Petri Nets (SPN) Simulation Engine that has been developed in order to study distributed behaviour of SPN. We simulate a Federation constituted from SPN (sub) models. Two approaches are considered: (1) a single Petri Nets (PN) is decomposed into subnets which are executed on different heterogeneously connected computers (2) different PN which model different processes are combined into a single distributed simulation. We use a sender/receiver SPN-model to illustrate these approaches and to explore the impact of time management services applied in the implementation of the SPN distributed simulation engine.