Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty

Real-Time Systems

Volumn 35, Issue 2, 2007, Pages 153-179

  Cicirelli, Franco ^a   Furfaro, Angelo ^a   Nigro, Libero ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Distributed simulation; Logical clocks; Modelling complex real time systems; Modularity constructs; Petri Net Markup Language; Temporal analysis; Temporal uncertainty; Time interval based event delivery; Time Petri nets; Time warp

Indexed keywords

COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; DATA FLOW ANALYSIS; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; REAL TIME SYSTEMS; UNCERTAIN SYSTEMS;

DISTRIBUTED SIMULATION; EVENT DELIVERY; LOGICAL CLOCKS; MODULARITY CONSTRUCTS; PETRI NET MARKUP LANGUAGES (PNML); TEMPORAL ANALYSIS; TEMPORAL UNCERTAINTY TIME WARP (TUTW); TIME PETRI NETS (TPN); TIME WARP ALGORITHM;

PETRI NETS;

EID: 33845514926     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-006-9006-x     Document Type: Article

References (30)

1. Allen J (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832-843
2. Behrmann G, David A, Larsen KG (2004) A tutorial on UPPAAL. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems, LNCS 3185, Springer, pp 200-236
3. Beraldi R, Nigro L (2001) A time warp mechanism based on temporal uncertainty. Trans Soc Modelling and Simul Int 18(2):60-72
4. Beraldi R, Nigro L, Orlando A (2003) Temporal uncertainty time warp: an implementation based on Java and ActorFoundry. Simul: Trans Soc Modelling and Simul Int 79(10):581-597
5. Berthomieu B, Diaz M (1991) Modelling and verification of time dependent systems using Time Petri Nets. IEEE Trans Soft Eng 17(3):259-273
6. Billington J, Christensen S, van Hee K, Kindler E, Kummer O, Petrucci L, Post R, Stehno C, Weber M (2003) The petri net markup language: concepts, technology, and tools. In Proc of the 24th Int Conf on Application and Theory of Petri Nets, LNCS 2679, Springer, pp 483-505
7. Bucci G, Fedeli A, Sassoli L, Vicario E (2004) Timed state space analysis of real-time preemptive systems. IEEE Trans Soft Eng 30(2):97-111
8. Burns A (2003) How to verify a safe real-time system: The application of model checking and timed automata to the production cell case study. Real-Time Syst 24(2): 135-151
9. Buttazzo GC (2005) Hard real-time computing systems. 2nd edn. Springer
10. Carullo L, Furfaro A, Nigro L, Pupo F (2003) Modelling and simulation of complex systems using TPN DESIGNER. Simul Modelling Pract Theory 11(7-8):503-532
11. Cicirelli F, Furfaro A, Nigro L (2006) An approach to protocol modelling and validation. In: Proc of 39th Annual Simulation Symposium (ANSS'06), IEEE Computer Society, Huntsville, Alabama, USA, pp 261-268
12. Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press, Cambrige, MA
13. DMSO, USA, DEFENSE MODELING AND SIMULATION OFFICE, https://www.dmso.mil/ public/transition/hla
14. Fujimoto RM (1999a) Approximate time causal order. College of Computing, Georgia Institute of Technology, Atlanta, GA
15. Fujimoto RM (1999b) Exploiting temporal uncertainty in parallel and distributed simulations. In: Proc. of Workshop on Parallel and Distributed Simulation (PADS'99)
16. Fujimoto RM (2000) Parallel and distributed simulation systems. John Wiley & Sons
17. Furfaro A, Nigro L (2005) An approach based on simulation and verification for the schedulability analysis of real-time systems. In: Proc of the 2005 Summer Computer Simulation Conference, pp 46-53. SCS
18. Furfaro A, Nigro L, Pupo F (2004) Model checking tasking sets using Time Petri Nets and UPPAAL. In: Proc of 28th IFAC/IFIP Workshop on Real-Time Programming (WRTP'04), Istanbul, Turkey Sept 6-8
19. Kindler E, Weber M (2001) A universal module concept for petri nets. In: Proc of the 8th Workshops Algorithmen und Werkzeuge fr Petrinetze, pp 7-12
20. Kuhl F, Weatherly R, Dahmann J (2000) Creating computer simulation systems. Prentice Hall PTR
21. Lamport L (1978) Time, clocks and the ordering of events in a distributed system. Communi ACM 21(7):558-565
22. Larsen KG, Pettersson P, Yi W (1997) UPPAAL in a nutshell. Soft Tools for Technol Transfer 1 (1/2): 134-152
23. Lewerentz C, Lindner T (1995) Case study production cell. In: Formal development of reactive systems, LNCS 891. Springer Verlag
24. Loper ML (2002) Approximate time and temporal uncertainty in parallel and distributed simulation. PhD thesis, College of Computing, Georgia Institute of Technology
25. Loper ML, Fujimoto RM (2000) Pre-sampling as an approach for exploiting temporal uncertainty. In: Proc of 14th Workshop on Parallel and Distributed Simulation (PADS'2000)
26. Loper ML, Fujimoto RM (2004) A case study in exploiting temporal uncertainty in parallel simulations. In: Proc of IEEE Int Conf on Parallel Processing (1CPP'04), pp 161-168
27. Merlin P, Farber D (1976) Recoverability of communication protocols - implications of a theoretical study. IEEE Trans Commun 24(9): 1036-1043
28. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541-580
29. Raynal M, Singhal M (1996) Logical time: capturing causality in distributed systems. IEEE Comput 29(6):49-56
30. Vicario E (2001) Static analysis and dynamic steering of time-dependent systems. IEEE Trans Soft Eng 27(8):728-748