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

DOI10.1007/S11241-006-9006-XzbMath1113.68067OpenAlexW1977807553MaRDI QIDQ862989

Franco Cicirelli, Libero Nigro, Angelo Furfaro

Publication date: 25 January 2007

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-006-9006-x

zbMATH Keywords

Time Petri netsDistributed simulationLogical clocksModelling complex real-time systemsModularity constructsPetri Net Markup LanguageTemporal analysisTemporal uncertaintyTime interval based event deliveryTime warp

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}

Uses Software

• PNML
• Uppaal

Cites Work

• Maintaining knowledge about temporal intervals
• Formal development of reactive systems. Case study production cell
• How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
• Uppaal in a nutshell
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Time, clocks, and the ordering of events in a distributed system
• Standards for Simulation: As Simple As Possible But Not Simpler The High Level Architecture For Simulation
• Formal Methods for the Design of Real-Time Systems

This page was built for publication: Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty