Paper Info
Title
Towards correct distributed simulation of high-level petri nets with fine-grained partitioning
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.
Year
DOI
Venue
2004
10.1007/978-3-540-30566-8_12
ISPA
Keywords
Field
DocType
high-level petri net,global activity priority,simulation time,optimistic simulation,priority-enhanced vector time algorithm,logical time,local simulation,lamport time,simulation algorithm,optimistic simulation technique,fine-grained partitioning,virtual time,petri net,cluster computing
Optimistic simulation,Petri net,Virtual time,Computer science,Parallel algorithm,Colored petri,Real-time computing,Distributed algorithm,Sequential simulation,Grid,Distributed computing
Conference
Volume
ISSN
ISBN
3358
0302-9743
3-540-24128-0
Citations 
PageRank 
References 
6
0.59
8
Authors
4
Name
Order
Citations
PageRank
Michael Knoke1302.62
Felix Kühling2151.45
Armin Zimmermann329032.66
Günter Hommel4657134.35