The following pages link to Free Choice Petri Nets (Q4856177):
Displayed 44 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Structure and behavior preservation by Petri-net-based refinements in system design (Q703482) (← links)
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Building reduced Petri net models of discrete manufacturing systems (Q814230) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Backward coupling in bounded free-choice nets under Markovian and non-Markovian assumptions (Q964840) (← links)
- Preserving correctness during business process model configuration (Q973035) (← links)
- A note on regular Petri nets (Q975419) (← links)
- Simplified proof of the blocking theorem for free-choice Petri nets (Q988568) (← links)
- On conditions for the liveness of weakly persistent nets (Q989543) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- A decomposition theorem for finite persistent transition systems (Q1015394) (← links)
- Reachability in live and safe free-choice Petri nets is NP-complete (Q1129263) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Blocking a transition in a free choice net and what it tells about its throughput. (Q1401959) (← links)
- Analysis issues in Petri nets with inhibitor arcs (Q1606123) (← links)
- Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
- Distributed monitoring of concurrent and asynchronous systems (Q1773098) (← links)
- On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures (Q2490114) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
- Finding a Witness Path for Non-liveness in Free-Choice Nets (Q3011888) (← links)
- On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet (Q3011894) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
- A Note on Persistent Petri Nets (Q3507378) (← links)
- Decomposition Theorems for Bounded Persistent Petri Nets (Q3510855) (← links)
- Process Discovery Using Integer Linear Programming (Q3510879) (← links)
- Decompositional Petri Net Reductions (Q3605479) (← links)
- Grammars Controlled by Special Petri Nets (Q3618592) (← links)
- REGULAR STATE MACHINES (Q4526933) (← links)
- (Q4790903) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← links)
- (Q5389839) (← links)
- Refining and verifying regular Petri nets (Q5451165) (← links)
- Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée (Q5479839) (← links)
- Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties (Q5696930) (← links)
- Deficiency Zero Petri Nets and Product Form (Q5902128) (← links)
- Structure theory of multi-level deterministically synchronized sequential processes (Q5940915) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Petri net-based modelling of workflow systems: An overview (Q5952515) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)