Partial (set) 2-structures. I: Basic notions and the representation problems
From MaRDI portal
Publication:911307
Recommendations
- Partial (set) 2-structures. II: State spaces of concurrent systems
- A characterization of set representable labeled partial 2-structures through decompositions
- Characterization and complexity of uniformly nonprimitive labeled 2-structures
- Transition systems without transitions
- Theory of 2-structures. II: Representation through labeled tree families
Cites work
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 4170946 (Why is no real title available?)
- scientific article; zbMATH DE number 3982529 (Why is no real title available?)
- Theory of 2-structures. I: Clans, basic subclasses, and morphisms
- Theory of 2-structures. II: Representation through labeled tree families
Cited in
(45)- Transition systems without transitions
- Synthesis of Nets with Step Firing Policies
- Discovering directly-follows complete Petri nets from event data
- Structure of weakly 2-dependent siphons
- Process Discovery Using Integer Linear Programming
- On the Petri net realization of context-free graphs
- Clans and regions in 2-structures
- Theory of 2-structures. I: Clans, basic subclasses, and morphisms
- Topics in region theory and synthesis problems
- Group based graph transformations and hierarchical representations of graphs
- Stability of regional orthomodular posets under synchronisation and refinement
- Synthesis of Petri nets with whole-place operations and localities
- Synthesis of Petri nets with restricted place-environments: classical and parameterized
- Step semantics of Boolean nets
- Fault model identification and synthesis in Petri nets
- Petri Net Synthesis for Restricted Classes of Nets
- Projection approaches to process mining using region-based techniques
- Stratified petri nets
- Dualities between nets and automata induced by schizophrenic objects
- Partial Order Semantics of Types of Nets
- Signal set tissue systems and overlapping localities
- A characterization of set representable labeled partial 2-structures through decompositions
- Process model discovery: a method based on transition system decomposition
- Synthesis of nets with inhibitor arcs
- Preserving correctness during business process model configuration
- Polynomial algorithms for the synthesis of bounded nets
- Does My Service Have Partners?
- Some complexity results on transition systems and elementary net systems
- Tissue Systems and Petri Net Synthesis
- Bounded choice-free Petri net synthesis: algorithmic issues
- On the Synthesis of Zero-Safe Nets
- Aggregating causal runs into workflow nets
- Synthesis and reengineering of persistent systems
- Distinguished representatives for equivalent labelled stratified graphs and applications
- The subset relation and 2‐stratified sentences in set theory and class theory
- Discovering workflow nets using integer linear programming
- The power of prime cycles
- Partial (set) 2-structures. II: State spaces of concurrent systems
- Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues
- Theory of 2-structures. II: Representation through labeled tree families
- scientific article; zbMATH DE number 591000 (Why is no real title available?)
- The synthesis of Petri nets from path-automatic specifications
- \(k\)-bounded Petri net synthesis from modal transition systems
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
- Process discovery and Petri nets
This page was built for publication: Partial (set) 2-structures. I: Basic notions and the representation problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911307)
