Towards correct distributed simulation of high-level petri nets with fine-grained partitioning

Authors:
Michael Knoke;Felix Kühling;Armin Zimmermann;Günter Hommel
Affiliations:
Real-Time Systems and Robotics, Technische Universität Berlin, Berlin, Germany;Real-Time Systems and Robotics, Technische Universität Berlin, Berlin, Germany;Real-Time Systems and Robotics, Technische Universität Berlin, Berlin, Germany;Real-Time Systems and Robotics, Technische Universität Berlin, Berlin, Germany
Venue:
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Year:
2004

Citing 7
Cited 3

Virtual time

ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical Time in Distributed Computing Systems

Computer - Distributed computing systems: separate resources acting as one
Automated parallelization of timed Petri-net simulations

Journal of Parallel and Distributed Computing
Parallel and distributed discrete event simulation: algorithms and applications

WSC '93 Proceedings of the 25th conference on Winter simulation
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Distributed Simulation of Petri Nets

IEEE Parallel & Distributed Technology: Systems & Technology
Parallel distributed simulation and modeling methods: causal order based time warp: a tradeoff of optimism

Proceedings of the 35th conference on Winter simulation: driving innovation

Dealing with Global Guards in a Distributed Simulation of Colored Petri Nets

DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Approximate parallel simulation of web search engines

Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Simulation-based optimization of discrete event systems with alternative structural configurations using distributed computation and the Petri net paradigm

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the local simulations than conservative methods. However, they may require costly rollbacks in simulation time due to dependencies between model parts that cause violations of global causality. Different notions of time have been proposed to detect and remedy these situations. Logical time (or Lamport time) is used in many present-day distributed simulation algorithms. However, high-level colored Petri nets may contain global activity priorities, vanishing states, and global state dependencies. Thus virtual time is not sufficient to maintain the global chronological order of events for the optimistic simulation of this model class. The paper presents a new approach that guarantees a correct ordering of global states in a distributed Petri net simulation. A priority-enhanced vector time algorithm is used to detect causal dependencies.