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

DOI10.1007/S11241-006-9006-XzbMATH1113.68067OpenAlexW1977807553MaRDI QIDQ862989FDOQ862989

Authors Franco Cicirelli, Angelo Furfaro, Libero Nigro

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

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

Mathematics Subject Classification ID

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

Recommendations

• Analysis of discrete event systems by simulation of timed Petri net models
• Qualitative simulation of temporal concurrent processes using time interval Petri nets
• Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation
• scientific article; zbMATH DE number 1173911
• TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets

Cites work

• Formal Methods for the Design of Real-Time Systems
• 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
• Maintaining knowledge about temporal intervals
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Standards for Simulation: As Simple As Possible But Not Simpler The High Level Architecture For Simulation
• Time, clocks, and the ordering of events in a distributed system
• Uppaal in a nutshell

Cited in

(4)

• Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
• Exploring impact of time management services on HLA-based Petri Nets Simulation Engine
• Qualitative simulation of temporal concurrent processes using time interval Petri nets
• Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation

Describes a project that uses

Uses Software

• PNML
• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q862989)