Abstract | ||
---|---|---|
Petri nets are commonly used for modeling of computer, communication, logistics, and manufacturing systems. Powerful grid and cluster computers allow efficient distributed simulation of such models to speed up execution. Optimistic parallel simulation techniques have been developed for different Petri net classes. Different notions of time have been proposed to detect occurring causality violations. However, global guards in timed colored Petri nets restrict state transitions based on global conditions. Furthermore those nets may contain vanishing states and transition priorities. Those properties require an extended logical time scheme and an efficient monitoring mechanism to capture global conditions over time. The paper presents an appropriate logical time scheme that guarantees correct ordering of global states in a distributed timed colored Petri net simulation. A new mirrored state mechanism is proposed to verify global conditions without limiting the optimistic simulation behavior. Some Petri net examples are used to present performance values on a cluster computer. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/DISTRA.2005.15 | DS-RT |
Keywords | Field | DocType |
appropriate logical time scheme,extended logical time scheme,cluster computer,different notion,petri net,global state,global condition,optimistic simulation behavior,global guards,optimistic parallel simulation technique,colored petri nets,global guard,model of computation,cluster computing,grid computing,parallel processing,petri nets,state transition | Petri net,Grid computing,Computer science,Process architecture,Theoretical computer science,Stochastic Petri net,Computer cluster,Grid,restrict,Distributed computing,Speedup | Conference |
ISSN | ISBN | Citations |
1550-6525 | 0-7695-2462-1 | 2 |
PageRank | References | Authors |
0.42 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Knoke | 1 | 30 | 2.62 |
Günter Hommel | 2 | 657 | 134.35 |