Partial (set) 2-structures. II: State spaces of concurrent systems
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3995041
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- scientific article; zbMATH DE number 650875
- Partial (set) 2-structures. I: Basic notions and the representation problems
- An algebraic theory for shared-state concurrency
- scientific article; zbMATH DE number 1490013
- scientific article; zbMATH DE number 4128366
Cites work
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 3982529 (Why is no real title available?)
- Partial (set) 2-structures. I: Basic notions and the representation problems
- 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
- 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
- Theory of 2-structures. I: Clans, basic subclasses, and morphisms
- Theory of 2-structures. II: Representation through labeled tree families
Cited in
(47)- Transition systems without transitions
- Synthesis of Nets with Step Firing Policies
- An algebraic characterisation of elementary net system (observable) state space
- Coupling asynchrony and interrupts: Place Chart Nets
- On the Petri net realization of context-free graphs
- Clans and regions in 2-structures
- Elementary transition systems and refinement
- The synthesis problem for elementary net systems is NP-complete
- Topics in region theory and synthesis problems
- Stability of regional orthomodular posets under synchronisation and refinement
- The synthesis problem of Petri nets
- Implementable strategies for a two-player asynchronous game on Petri nets
- Strategies for minimising the synthesised ENL-systems
- Elementary transition systems
- Theory of 2-structures
- Petri Net Synthesis for Restricted Classes of Nets
- A quadratic construction for Zielonka automata with acyclic communication structure
- Synthesising elementary net systems with localities
- Identification of biological transition systems using meta-interpreted logic programs
- Finding Complex Process-Structures by Exploiting the Token-Game
- An algebraic model of observable properties in distributed systems
- Pomset Languages of Finite Step Transition Systems
- A trace semantics for Petri Nets
- A characterization of set representable labeled partial 2-structures through decompositions
- Applying regions
- Regions of Petri nets with a/sync connections
- An event structure semantics for general Petri nets
- Presynthesis of bounded choice-free or fork-attribution nets
- A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
- Some complexity results on transition systems and elementary net systems
- Tissue Systems and Petri Net Synthesis
- Primitive 2-structures with the \((n-2)\)-property
- Characterisation of the state spaces of marked graph Petri nets
- On the Synthesis of Zero-Safe Nets
- Target-oriented Petri net synthesis
- Discovering Block-Structured Process Models from Incomplete Event Logs
- Synthesis and reengineering of persistent systems
- Complete edge-colored permutation graphs
- Discovering workflow nets using integer linear programming
- Generation of synchronizing state machines from a transition system: a region-based approach
- Automated synthesis of distributed controllers
- On Distributed Monitoring and Synthesis
- Partial (set) 2-structures. I: Basic notions and the representation problems
- On orthomodular posets generated by transition systems
- Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns
- Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior
- The synthesis of Petri nets from path-automatic specifications
This page was built for publication: Partial (set) 2-structures. II: State spaces of concurrent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911308)
