Pages that link to "Item:Q4032923"

The following pages link to PETRI NETS AND STEP TRANSITION SYSTEMS (Q4032923):

Displaying 36 items.

• Projection approaches to process mining using region-based techniques (Q408692) (← links)
• An event structure semantics for general Petri nets (Q672871) (← links)
• Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
• Petri nets and bisimulation (Q672873) (← links)
• Regions of Petri nets with a/sync connections (Q714824) (← links)
• Applying regions (Q728281) (← links)
• CTS systems and Petri nets (Q1085981) (← links)
• Elementary transition systems (Q1190485) (← links)
• The synthesis problem for elementary net systems is NP-complete (Q1389765) (← links)
• Functorial models for Petri nets (Q1854467) (← links)
• The synthesis of Petri nets from path-automatic specifications (Q1882929) (← links)
• Clustering for Petri nets (Q1884880) (← links)
• The synthesis problem of Petri nets (Q1901703) (← links)
• Trace nets and process automata (Q1902303) (← links)
• Petri nets and regular processes (Q1970202) (← links)
• Synthesising elementary net systems with localities (Q2077411) (← links)
• Factorisation of Petri net solvable transition systems (Q2280180) (← links)
• (Q3045262) (← 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)
• Pomset Languages of Finite Step Transition Systems (Q3636841) (← links)
• Process discovery and Petri nets (Q3655758) (← links)
• (Q3842561) (← links)
• (Q4247286) (← links)
• (Q4332926) (← links)
• Stratified petri nets (Q5055926) (← links)
• Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
• (Q5422288) (← 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)
• Comparing transition systems with independence and asynchronous transition systems (Q6104367) (← links)
• Transition systems of Elementary Net Systems with inhibitor arcs (Q6487381) (← links)
• Strategies for minimising the synthesised ENL-systems (Q6550565) (← links)