Pages that link to "Item:Q1901703"

The following pages link to The synthesis problem of Petri nets (Q1901703):

Displaying 32 items.

• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (Q262433) (← links)
• Projection approaches to process mining using region-based techniques (Q408692) (← links)
• Regions of Petri nets with a/sync connections (Q714824) (← links)
• Applying regions (Q728281) (← links)
• Petri net synthesis (Q897109) (← links)
• The synthesis problem for elementary net systems is NP-complete (Q1389765) (← links)
• Over-approximative Petri net synthesis for restricted subclasses of nets (Q1647718) (← links)
• Signal set tissue systems and overlapping localities (Q1682863) (← links)
• The synthesis of Petri nets from path-automatic specifications (Q1882929) (← links)
• From decidability to undecidability by considering regular sets of instances (Q2062120) (← links)
• Synthesis of (choice-free) reset nets (Q2117175) (← links)
• Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
• Synthesis and reengineering of persistent systems (Q2257983) (← links)
• Step semantics of Boolean nets (Q2376982) (← links)
• Petri Net Synthesis for Restricted Classes of Nets (Q2822652) (← links)
• Synthesis of Petri Nets with Whole-Place Operations and Localities (Q3179395) (← links)
• Tissue Systems and Petri Net Synthesis (Q3452477) (← links)
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
• Towards Synthesis of Petri Nets from Scenarios (Q3618710) (← links)
• Does My Service Have Partners? (Q3623824) (← links)
• Process discovery and Petri nets (Q3655758) (← links)
• Simultaneous Petri Net Synthesis (Q4621223) (← links)
• Aggregating Causal Runs into Workflow Nets (Q4909355) (← links)
• Discovering Object-centric Petri Nets (Q4988950) (← links)
• Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)
• The Complexity of Synthesis of b-Bounded Petri Nets (Q5025061) (← links)
• Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067) (← links)
• Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues (Q5044398) (← links)
• Automated Repair of Process Models Using Non-local Constraints (Q5100758) (← links)
• Synthesis of Nets with Step Firing Policies (Q5900140) (← links)
• Synthesis of nets with inhibitor arcs (Q6044115) (← links)
• Strategies for minimising the synthesised ENL-systems (Q6550565) (← links)