scientific article; zbMATH DE number 1304999

zbMath0940.68096MaRDI QIDQ4251922

A. V. Yakovlev, Alex Semenov, Walter Vogler

Publication date: 17 June 1999

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

zbMATH Keywords

Petri netslogic circuitshazard-freedom

Mathematics Subject Classification ID

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

Related Items

Domain and event structure semantics for Petri nets with read and inhibitor arcs, On Interval Process Semantics of Petri Nets with Inhibitor Arcs, Non-atomic Transition Firing in Contextual Nets, A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems, Unfolding Graph Transformation Systems: Theory and Applications to Verification, Efficient unfolding of contextual Petri nets, An Algorithm for Direct Construction of Complete Merged Processes, Interval semantics for Petri nets with inhibitor arcs, Symbolic unfolding of parametric stopwatch Petri nets, Timed Petri nets and timed automata: On the discriminating power of Zeno sequences, Branching cells for asymmetric event structures, Concurrency for Graph Grammars in a Petri net shell, Unnamed Item, Directed Unfolding of Petri Nets, McMillan’s Complete Prefix for Contextual Nets, Construction and SAT-Based Verification of Contextual Unfoldings, Efficient Contextual Unfolding, Contextual Petri nets, asymmetric event structures, and processes, Partial order semantics and read arcs