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

DOI10.1007/S11241-006-9006-XzbMATH Open1113.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

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

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)

Cites Work

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

Cited In (4)

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

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)