scientific article
From MaRDI portal
Publication:3602751
zbMath1167.68039MaRDI QIDQ3602751
Publication date: 12 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
independent transitionsinterval timed Büchi automatapartial order techniquesstate class graphtimed linear properties
Formal languages and automata (68Q45) 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 (5)
Delay-dependent partial order reduction technique for real time systems ⋮ Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net ⋮ 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
This page was built for publication:
