The following pages link to (Q3773358):
Displayed 25 items.
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Accelerating the computation of dead and concurrent places using reductions (Q832013) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Mathematical programming approach to the Petri nets reachability problem (Q856211) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems (Q1191025) (← links)
- Negotiation as concurrency primitive (Q1731828) (← links)
- Reduction techniques for network validation in systems biology (Q1790877) (← links)
- Extensible structural analysis of Petri net product lines (Q2032833) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior (Q2165244) (← links)
- Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking (Q5044397) (← links)
- Computing Petri net languages by reductions (Q5055897) (← links)
- Functional equivalences of Petri nets (Q5096374) (← links)
- On the Reversibility of Well-Behaved Weighted Choice-Free Systems (Q5166772) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
- Proving safety properties of infinite state systems by compilation into Presburger arithmetic (Q6044119) (← links)
- Finding Complex Process-Structures by Exploiting the Token-Game (Q6144218) (← links)
- Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns (Q6189320) (← links)