Publication:4417948
From MaRDI portal
zbMath1031.68082MaRDI QIDQ4417948
Bernard Berthomieu, François Vernadat
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190442.htm
model-checking; bisimulation; Time Petri nets; state classes; real-time systems modeling and verification; branching time temporal properties
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks, Covering Steps Graphs of Time Petri Nets, Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets, The On-Line Diagnosis of Time Petri Nets, Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net, Shrinking of time Petri nets, Partial order reduction for checking soundness of time workflow nets, Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs, On the composition of time Petri nets, On-the-fly \(TCTL\) model checking for time Petri nets, Model checking of time Petri nets using the state class timed automaton, Reachability problems and abstract state spaces for time Petri nets with stopwatches, Delay-dependent partial order reduction technique for real time systems, Logical time control of concurrent DES, Approximated timed reachability graphs for the robust control of discrete event systems, CTL* model checking for time Petri nets, Probabilistic Time Petri Nets, Maximally permissive controller synthesis for time Petri nets, SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper), Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets, Model Checking Bounded Prioritized Time Petri Nets, Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper), Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs
Uses Software
