Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5897964
DOI10.1007/11603009zbMath1175.68270OpenAlexW2493457341MaRDI QIDQ5897964
Olivier H. Roux, Béatrice Bérard, Franck Cassez, Didier Lime, Serge Haddad
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
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (13)
`True concurrency' semantics for time Petri nets with weak time and persistent atomic policies ⋮ Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets ⋮ Model Checking Bounded Prioritized Time Petri Nets ⋮ Waiting Nets: State Classes and Taxonomy ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ On the composition of time Petri nets ⋮ Finite-state automata in information technologies ⋮ Model-checking precision agriculture logistics: the case of the differential harvest ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ TCTL-preserving translations from timed-arc Petri nets to networks of timed automata ⋮ When are timed automata weakly timed bisimilar to time Petri nets? ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
Uses Software
This page was built for publication: Formal Modeling and Analysis of Timed Systems
