scientific article

zbMath0986.68077MaRDI QIDQ2766563

Olga Marroquín Alonso, David de Frutos-Escrig, Valentín Valero Ruiz

Publication date: 17 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

Weak Time Petri Nets Strike Back! ⋮ Model checking of time Petri nets using the state class timed automaton ⋮ Waiting nets ⋮ Waiting Nets: State Classes and Taxonomy ⋮ A rewriting framework and logic for activities subject to regulations ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ Universal safety for timed Petri nets is PSPACE-complete ⋮ Dynamic Networks of Timed Petri Nets ⋮ A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets ⋮ Minimal Cost Reachability/Coverability in Priced Timed Petri Nets ⋮ Verification of Timed-Arc Petri Nets ⋮ Strong behavioral similarities in timed-arc Petri nets

This page was built for publication: