Partial (set) 2-structures. II: State spaces of concurrent systems
From MaRDI portal
Publication:911308
DOI10.1007/BF00264612zbMath0696.68083OpenAlexW2071923519MaRDI QIDQ911308
Andrzej Ehrenfeucht, Grzegorz Rozenberg
Publication date: 1990
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00264612
Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (43)
Clans and regions in 2-structures ⋮ Identification of biological transition systems using meta-interpreted logic programs ⋮ Primitive 2-structures with the \((n-2)\)-property ⋮ The synthesis of Petri nets from path-automatic specifications ⋮ Automated Synthesis of Distributed Controllers ⋮ Tissue Systems and Petri Net Synthesis ⋮ Some complexity results on transition systems and elementary net systems ⋮ Discovering workflow nets using integer linear programming ⋮ The synthesis problem of Petri nets ⋮ On Distributed Monitoring and Synthesis ⋮ Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior ⋮ The synthesis problem for elementary net systems is NP-complete ⋮ Complete edge-colored permutation graphs ⋮ A quadratic construction for Zielonka automata with acyclic communication structure ⋮ Generation of synchronizing state machines from a transition system: a region-based approach ⋮ On the Synthesis of Zero-Safe Nets ⋮ Finding Complex Process-Structures by Exploiting the Token-Game ⋮ Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns ⋮ A characterization of set representable labeled partial 2-structures through decompositions ⋮ An event structure semantics for general Petri nets ⋮ Elementary transition systems ⋮ Theory of 2-structures ⋮ Characterisation of the state spaces of marked graph Petri nets ⋮ An algebraic characterisation of elementary net system (observable) state space ⋮ Discovering Block-Structured Process Models from Incomplete Event Logs ⋮ Synthesis and reengineering of persistent systems ⋮ On the Petri net realization of context-free graphs ⋮ Transition systems without transitions ⋮ Regions of Petri nets with a/sync connections ⋮ A novel method for deadlock prevention of AMS by using resource-oriented Petri nets ⋮ Stability of regional orthomodular posets under synchronisation and refinement ⋮ Applying regions ⋮ A trace semantics for Petri Nets ⋮ Presynthesis of bounded choice-free or fork-attribution nets ⋮ Pomset Languages of Finite Step Transition Systems ⋮ Petri Net Synthesis for Restricted Classes of Nets ⋮ On Orthomodular Posets Generated by Transition Systems ⋮ Synthesis of Nets with Step Firing Policies ⋮ Target-oriented Petri Net Synthesis ⋮ Synthesising elementary net systems with localities ⋮ An algebraic model of observable properties in distributed systems ⋮ Elementary transition systems and refinement ⋮ Topics in region theory and synthesis problems
Cites Work
- Unnamed Item
- Unnamed Item
- Partial (set) 2-structures. I: Basic notions and the representation problems
- Theory of 2-structures. I: Clans, basic subclasses, and morphisms
- Theory of 2-structures. II: Representation through labeled tree families
- Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
- Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
This page was built for publication: Partial (set) 2-structures. II: State spaces of concurrent systems
