scientific article; zbMATH DE number 1956600
From MaRDI portal
Publication:4417948
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model-checkingbisimulationTime Petri netsstate classesreal-time systems modeling and verificationbranching time temporal properties
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (26)
CTL* model checking for time Petri nets ⋮ Delay-dependent partial order reduction technique for real time systems ⋮ Model checking of time Petri nets using the state class timed automaton ⋮ Shrinking of time Petri nets ⋮ SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) ⋮ Reachability problems and abstract state spaces for time Petri nets with stopwatches ⋮ Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets ⋮ Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net ⋮ Model Checking Bounded Prioritized Time Petri Nets ⋮ Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) ⋮ On the composition of time Petri nets ⋮ Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs ⋮ Partial order reduction for checking soundness of time workflow nets ⋮ Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs ⋮ Covering Steps Graphs of Time Petri Nets ⋮ Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving ⋮ A state class based controller synthesis approach for time Petri nets ⋮ On-the-fly \(TCTL\) model checking for time Petri nets ⋮ An extremum timed extended reachability graph for temporal analysis of time Petri nets ⋮ Logical time control of concurrent DES ⋮ Probabilistic Time Petri Nets ⋮ Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks ⋮ The On-Line Diagnosis of Time Petri Nets ⋮ Approximated timed reachability graphs for the robust control of discrete event systems ⋮ Maximally permissive controller synthesis for time Petri nets ⋮ Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets
Uses Software
This page was built for publication:
