Transition systems of Elementary Net Systems with inhibitor arcs

DOI10.1007/3-540-63139-9_43zbMATH Open1510.68067MaRDI QIDQ6487381FDOQ6487381

Authors: Marta Pietkiewicz-Koutny 

Publication date: 9 December 2022

Recommendations

• scientific article; zbMATH DE number 1786642
• scientific article; zbMATH DE number 1435986
• Synthesis of nets with inhibitor arcs
• Process semantics of general inhibitor nets
• scientific article; zbMATH DE number 1696460

Mathematics Subject Classification ID

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

Cites Work

• Concurrent Machines
• Title not available (Why is that?)
• Formal verification of parallel programs
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Semantics of inhibitor nets
• Contextual nets
• Elementary transition systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• The Complexity of Synthesis of b-Bounded Petri Nets
• Title not available (Why is that?)
• Synthesis of nets with inhibitor arcs
• On the parameterized complexity of synthesizing Boolean Petri nets with restricted dependency
• The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs
• Title not available (Why is that?)
• On the parameterized complexity of the synthesis of Boolean nets with restricted place environments
• On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
• Reconfigurable Petri nets with transition priorities and inhibitor arcs

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)