scientific article
From MaRDI portal
Publication:2848419
zbMath1272.68294MaRDI QIDQ2848419
Olivier H. Roux, Franck Cassez
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002410
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Contracts for cross-organizational workflows as timed dynamic condition response graphs ⋮ A concurrency-preserving translation from time Petri nets to networks of timed automata ⋮ On-the-fly \(TCTL\) model checking for time Petri nets ⋮ Verification of Timed-Arc 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:
