Exploiting temporal uncertainty in the distributed simulation of Time Petri Nets

Proceedings - Simulation Symposium

Volumn , Issue , 2005, Pages 233-240

  Cicirelli, F ^a   Furfaro, A ^a   Nigro, L ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; MATHEMATICAL MODELS; REAL TIME SYSTEMS; UNCERTAIN SYSTEMS;

DISTRIBUTED SIMULATION; TEMPORAL UNCERTAINTY TIME WARP (TUTW); TIME PETRI NETS (TPN); TIME WARP ALGORITHM;

PETRI NETS;

EID: 27544460804     PISSN: 1080241X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. J. Allen. Maintaining knowledge about temporal intervals. Communications of ACM, 26(11):832-843, 1983.
2. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems, LNCS 3185, pages 200-236. Springer, 2004.
3. R. Beraldi and L. Nigro. A Time Warp mechanism based on temporal uncertainty. Transactions of the Society for Modelling and Simulation International, 18(2):60-72, 2001.
4. R. Beraldi, L. Nigro, and A. Orlando. Temporal Uncertainty Time Warp: an implementation based on Java and ActorFoundry. Simulation, 79(10):581-597, 2003.
5. B. Berthomieu and M. Diaz. Modelling and verification of time dependent systems using Time Petri Nets. IEEE Transactions on Software Engineering, 17(3):259-273, 1991.
6. G. Bucci, A. Fedeli, L. Sassoli, and E. Vicario. Timed state space analysis of real-time preemptive systems. IEEE Transactions on Software Engineering, 30(2):97-111, 2004.
7. A. Burns. How to verify a safe real-time system: The application of model checking and timed automata to the production cell case study. Real-Time Systems, 24(2):135-151, March 2003.
8. R. M. Fujimoto. Approximate time causal order. College of Computing, Georgia Institute of Technology, Atlanta, GA, 1999.
9. R. M. Fujimoto. Exploiting temporal uncertainty in parallel and distributed simulations. In Proc. of Workshop on Parallel and Distributed Simulation (PADS'99), 1999.
10. R. M. Fujimoto. Parallel and distributed simulation systems. John Wiley & Sons, 2000.
11. th IFAC/IFIP Workshop on Real-Time Programming (WRTP'04), Istanbul, Turkey, September, 6-8 2004.
12. L. Lamport. Time, clocks and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
13. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a nutshell. Software Tools for Technology Transfer, 1(1/2):134-152, 1997.
14. C. Lewerentz and T. Lindner. Case study production cell. In Formal development of reactive systems, LNCS 891. Springer Verlag, 1995.
15. M. L. Loper. Approximate Time and Temporal Uncertainty in Parallel and Distributed Simulation. PhD thesis, College of Computing, Georgia Institute of Technology, 2002.
16. th Workshop on Parallel and Distributed Simulation (PADS'2000), 2000.
17. M. L. Loper and R. M. Fujimoto. A case study in exploiting temporal uncertainty in parallel simulations. In In Proc. of IEEE Int. Conf. on Parallel Processing (ICPP'04), pages 161-168, 2004.
18. P. Merlin and D. Farber. Recoverability of communication protocols - implications of a theoretical study. IEEE Transactions on Communications, 24 (9):1036-1043, 1976.
19. T. Murata. Petri Nets: properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
20. M. Raynal and M. Singhal. Logical time: capturing causality in distributed systems. IEEE Computer, 29(6):49-56, 1996.
21. E. Vicario. Static analysis and dynamic steering of time-dependent systems. IEEE Transactions on Software Engineering, 27(8):728-748, 2001.