Pages that link to "Item:Q911307"

The following pages link to Partial (set) 2-structures. I: Basic notions and the representation problems (Q911307):

Displaying 44 items.

• Projection approaches to process mining using region-based techniques (Q408692) (← links)
• Transition systems without transitions (Q557786) (← links)
• Partial (set) 2-structures. II: State spaces of concurrent systems (Q911308) (← links)
• Theory of 2-structures. I: Clans, basic subclasses, and morphisms (Q913822) (← links)
• Theory of 2-structures. II: Representation through labeled tree families (Q913823) (← links)
• Preserving correctness during business process model configuration (Q973035) (← links)
• A characterization of set representable labeled partial 2-structures through decompositions (Q1173685) (← links)
• Incremental construction of 2-structures (Q1322177) (← links)
• Clans and regions in 2-structures (Q1329728) (← links)
• Some complexity results on transition systems and elementary net systems (Q1346631) (← links)
• Discovering workflow nets using integer linear programming (Q1639990) (← links)
• Signal set tissue systems and overlapping localities (Q1682863) (← links)
• Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
• The synthesis of Petri nets from path-automatic specifications (Q1882929) (← links)
• Distinguished representatives for equivalent labelled stratified graphs and applications (Q1885822) (← links)
• Stability of regional orthomodular posets under synchronisation and refinement (Q2032837) (← links)
• Topics in region theory and synthesis problems (Q2117149) (← links)
• Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) (← links)
• Synthesis and reengineering of persistent systems (Q2257983) (← links)
• Fault model identification and synthesis in Petri nets (Q2348378) (← links)
• Step semantics of Boolean nets (Q2376982) (← links)
• The Power of Prime Cycles (Q2822651) (← links)
• Petri Net Synthesis for Restricted Classes of Nets (Q2822652) (← links)
• Structure of weakly 2-dependent siphons (Q2868843) (← links)
• Synthesis of Petri Nets with Whole-Place Operations and Localities (Q3179395) (← links)
• Tissue Systems and Petri Net Synthesis (Q3452477) (← links)
• On the Synthesis of Zero-Safe Nets (Q3507377) (← links)
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
• Process Discovery Using Integer Linear Programming (Q3510879) (← links)
• Partial Order Semantics of Types of Nets (Q3599087) (← links)
• Does My Service Have Partners? (Q3623824) (← links)
• Process discovery and Petri nets (Q3655758) (← links)
• (Q4296302) (← links)
• Aggregating Causal Runs into Workflow Nets (Q4909355) (← links)
• Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues (Q5044398) (← links)
• Stratified petri nets (Q5055926) (← links)
• Dualities between nets and automata induced by schizophrenic objects (Q5057464) (← links)
• Polynomial algorithms for the synthesis of bounded nets (Q5096743) (← links)
• k-Bounded Petri Net Synthesis from Modal Transition Systems. (Q5111618) (← links)
• Process Model Discovery: A Method Based on Transition System Decomposition (Q5166757) (← links)
• Synthesis of Nets with Step Firing Policies (Q5900140) (← links)
• On the Petri net realization of context-free graphs (Q5941208) (← links)
• Synthesis of nets with inhibitor arcs (Q6044115) (← links)
• The subset relation and 2‐stratified sentences in set theory and class theory (Q6096719) (← links)