The following pages link to (Q4247291):
Displaying 46 items.
- Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems (Q364321) (← links)
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- Applying regions (Q728281) (← links)
- Signal set tissue systems and overlapping localities (Q1682863) (← links)
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- An algebraic model of observable properties in distributed systems (Q1853608) (← links)
- The synthesis of Petri nets from path-automatic specifications (Q1882929) (← links)
- Synthesising elementary net systems with localities (Q2077411) (← links)
- Topics in region theory and synthesis problems (Q2117149) (← links)
- Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- Enhancing discovered processes with duplicate tasks (Q2293054) (← links)
- Presynthesis of bounded choice-free or fork-attribution nets (Q2304527) (← links)
- State space axioms for T-systems (Q2340253) (← links)
- Fault model identification and synthesis in Petri nets (Q2348378) (← links)
- Step semantics of Boolean nets (Q2376982) (← links)
- Real time identification of discrete event systems using Petri nets (Q2440714) (← links)
- Identification of Petri nets from knowledge of their language (Q2465425) (← links)
- The Power of Prime Cycles (Q2822651) (← 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)
- 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)
- Discovery, Verification and Conformance of Workflows with Cancellation (Q3540385) (← links)
- Partial Order Semantics of Types of Nets (Q3599087) (← links)
- Does My Service Have Partners? (Q3623824) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
- Construction of Process Models from Example Runs (Q3623827) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Aggregating Causal Runs into Workflow Nets (Q4909355) (← links)
- Discovering Object-centric Petri Nets (Q4988950) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- k-Bounded Petri Net Synthesis from Modal Transition Systems. (Q5111618) (← links)
- Discovering Block-Structured Process Models from Incomplete Event Logs (Q5166758) (← links)
- Synthesis of Persistent Systems (Q5166759) (← links)
- Synthesis of Nets with Step Firing Policies (Q5900140) (← links)
- Hasse Diagram Generators and Petri Nets (Q5902129) (← links)
- Identification of labeled Petri nets from finite automata (Q6544578) (← links)
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)
- Strategies for minimising the synthesised ENL-systems (Q6550565) (← links)
