Step semantics of Boolean nets

DOI10.1007/S00236-012-0170-2MaRDI QIDQ2376982zbMATH OpenOpenAlexFDO

Authors Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Publication date 26 June 2013

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-012-0170-2

zbMATH Keywords

Petri netsstep semanticsBoolean netsconnection monoid

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Boolean algebra of nets, their synthesis and analysis
• Non-deterministic Boolean Proof Nets
• A step semantic system for set theory
• Pretty-big-step semantics
• scientific article; zbMATH DE number 3253173
• scientific article; zbMATH DE number 1808287
• On Negations in Boolean Networks
• Bisimulations of probabilistic Boolean networks
• Uniform Circuits, & Boolean Proof Nets
• Model checking and boolean graphs

Cites work

• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• scientific article; zbMATH DE number 1435986 (Why is no real title available?)
• A connector algebra for P/T nets interactions
• Contextual nets
• Flip-flop nets
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Reaction systems
• Representations of Petri net interactions
• Step semantics of Boolean nets
• Synthesis of nets with step firing policies
• The synthesis problem for elementary net systems is NP-complete
• The synthesis problem of Petri nets

Cited in

(7)

• The Complexity of Synthesis of b-Bounded Petri Nets
• The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs
• Step semantics of Boolean nets
• scientific article; zbMATH DE number 5587274 (Why is no real title available?)
• Signal set tissue systems and overlapping localities
• On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
• Non-atomic transition firing in contextual nets

This page was built for publication: Step semantics of Boolean nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376982)