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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3358, Issue , 2004, Pages 64-74

  Knoke, Michael ^a   Kühling, Felix ^a   Zimmermann, Armin ^a   Hommel, Günter ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DISTRIBUTED COMPUTER SYSTEMS;

CLUSTER COMPUTER; COLORED PETRI NETS; DISTRIBUTED SIMULATIONS; FINE GRAINED; GLOBAL STATE; HIGH-LEVEL PETRI NETS; OPTIMISTIC SIMULATION; SIMULATION ALGORITHMS; SIMULATION TECHNIQUE; SIMULATION TIME; CAUSAL DEPENDENCIES; CHRONOLOGICAL ORDER;

PETRI NETS;

EID: 35048855976     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30566-8_12     Document Type: Article

References (11)

1. Zimmermann, A., Freiheit, J., Huck, A.: A Petri net based design engine for manufacturing systems. Int. Journal of Production Research, special issue on Modeling, Specification and Analysis of Manufacturing Systems 39 (2001) 225-253
2. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1 : Basic Concepts. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Germany (1992)
3. Fujimoto, R.: Parallel and distributed discrete event simulation: algorithms and applications. In: Proceedings of the 1993 Winter Simulation Conference, Los Angeles, CA, Eds. ACM, New York, 1993 (1993) 106-114
4. Nicol, D.M., Mao, W.: Automated parallelization of timed petri-net simulations. Journal of Parallel and Distributed Computing 1 (1995)
5. Jefferson, D.: Virtual time. ACM Transactions on Programming Languages and Systems 7 (1985) 405-425
6. Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21 (1978) 558-565
7. Zeng, Y., Cai, W., Turner, S.: Causal Order Based Time Warp: A Tradeoff of Optimism. Proceedings of the 2003 Winter Simulation Conference (2003)
8. Mattern, F.: Virtual Time and Global States of Distributed Systems. Proceedings Parallel and Distributed Algorithms Conference (1988) 215-226
9. Fidge, C.: Logical Time in Distributed Computing Systems. Computer 24 (1991) 28-33
10. Ferscha, A.: Parallel and Distributed Simulation of Discrete Event Systems. McGraw-Hill (1995)
11. Chiola, G., Ferscha, A.: Distributed simulation of Petri Nets. IEEE Parallel and Distributed Technology 1 (1993) 33-50