Transition systems of Elementary Net Systems with inhibitor arcs
From MaRDI portal
(Redirected from Publication:6487381)
Recommendations
Cites work
- Concurrent Machines
- Contextual nets
- Elementary transition systems
- Formal verification of parallel programs
- scientific article; zbMATH DE number 4193145 (Why is no real title available?)
- scientific article; zbMATH DE number 107452 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- PETRI NETS AND STEP TRANSITION SYSTEMS
- Semantics of inhibitor nets
Cited in
(9)- The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs
- On the parameterized complexity of the synthesis of Boolean nets with restricted place environments
- Reconfigurable Petri nets with transition priorities and inhibitor arcs
- scientific article; zbMATH DE number 1059332 (Why is no real title available?)
- scientific article; zbMATH DE number 1786642 (Why is no real title available?)
- On the parameterized complexity of synthesizing Boolean Petri nets with restricted dependency
- The Complexity of Synthesis of b-Bounded Petri Nets
- Synthesis of nets with inhibitor arcs
- On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
This page was built for publication: Transition systems of Elementary Net Systems with inhibitor arcs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487381)
