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
`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
