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