Step semantics of Boolean nets
From MaRDI portal
Publication:2376982
DOI10.1007/S00236-012-0170-2zbMATH Open1272.68307OpenAlexW1983695368MaRDI QIDQ2376982FDOQ2376982
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
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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Reaction systems
- Logic Synthesis for Asynchronous Controllers and Interfaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- The synthesis problem of Petri nets
- Partial (set) 2-structures. I: Basic notions and the representation problems
- Contextual nets
- Representations of Petri net interactions
- Title not available (Why is that?)
- The synthesis problem for elementary net systems is NP-complete
- Flip-flop nets
- Synthesis of nets with step firing policies
- Step semantics of Boolean nets
- A connector algebra for P/T nets interactions
Cited In (7)
- The Complexity of Synthesis of b-Bounded Petri Nets
- Title not available (Why is that?)
- The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs
- Non-atomic transition firing in contextual nets
- On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
- Signal set tissue systems and overlapping localities
- Step semantics of Boolean 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)
