scientific article
From MaRDI portal
Publication:3146285
zbMath1003.68106MaRDI QIDQ3146285
Publication date: 11 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Linear programming (90C05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Non-atomic Transition Firing in Contextual Nets ⋮ Universality in Infinite Petri Nets ⋮ Efficient unfolding of contextual Petri nets ⋮ Timed Petri nets and timed automata: On the discriminating power of Zeno sequences ⋮ McMillan’s Complete Prefix for Contextual Nets ⋮ Construction and SAT-Based Verification of Contextual Unfoldings ⋮ Efficient Contextual Unfolding
This page was built for publication:
