Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
type: Item
instance of: scholarly article
title: Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
zbMATH Open document ID: 1113.68067
author: Franco Cicirelli
author: Angelo Furfaro
author: Libero Nigro
published in: Real-Time Systems
publication date: 2007-01-25T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5118514
zbMATH Keywords: Distributed simulation
zbMATH Keywords: Time warp
zbMATH Keywords: Temporal uncertainty
zbMATH Keywords: Time interval based event delivery
zbMATH Keywords: Logical clocks
zbMATH Keywords: Modelling complex real-time systems
zbMATH Keywords: Time Petri nets
zbMATH Keywords: Modularity constructs
zbMATH Keywords: Petri Net Markup Language
zbMATH Keywords: Temporal analysis
describes a project that uses: PNML
describes a project that uses: Uppaal
MaRDI profile type: Publication
full work available at URL: s11241-006-9006-x
OpenAlex ID: W1977807553
cites work: Maintaining knowledge about temporal intervals
cites work: Formal Methods for the Design of Real-Time Systems
cites work: How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
cites work: Standards for Simulation: As Simple As Possible But Not Simpler The High Level Architecture For Simulation
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: Uppaal in a nutshell
cites work: Formal development of reactive systems. Case study production cell
cites work: Recoverability of Communication Protocols--Implications of a Theoretical Study
DOI: 10.1007/S11241-006-9006-X
description: scientific article; zbMATH DE number 5118514