Formal Modeling and Analysis of Timed Systems

DOI10.1007/11603009zbMath1175.68274OpenAlexW2493457341MaRDI QIDQ5897963

Claude Jard, Thomas Chatain

Publication date: 14 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11603009

Mathematics Subject Classification ID

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

Related Items (13)

Comparative trace semantics of time Petri nets ⋮ State observer for DES under partial observation with time Petri nets ⋮ Semantic domains of timed event structures ⋮ Comparing Semantics Under Strong Timing of Petri Nets ⋮ Branching Processes of Timed Petri Nets ⋮ ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets ⋮ Diagnosis from scenarios ⋮ Partial order techniques for distributed discrete event systems: why you cannot avoid using them ⋮ Event clock message passing automata: a logical characterization and an emptiness checking algorithm ⋮ Unifying behavioral equivalences of timed transition systems ⋮ Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics ⋮ The On-Line Diagnosis of Time Petri Nets ⋮ Checking conformance for time-constrained scenario-based specifications

This page was built for publication: Formal Modeling and Analysis of Timed Systems