Pages that link to "Item:Q5712330"

The following pages link to Applications and Theory of Petri Nets 2004 (Q5712330):

Displaying 10 items.

• Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
• Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
• Structural soundness of workflow nets is decidable (Q1044705) (← links)
• Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets (Q1665580) (← links)
• An analytical method for well-formed workflow/Petri net verification of classical soundness (Q2018421) (← links)
• Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
• Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
• Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource (Q3452466) (← links)
• Discovery, Verification and Conformance of Workflows with Cancellation (Q3540385) (← links)
• PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (Q5100757) (← links)