Pages that link to "Item:Q1007883"
From MaRDI portal
The following pages link to Soundness-preserving reduction rules for reset workflow nets (Q1007883):
Displayed 6 items.
- Multiset topologies induced by multiset relations (Q454961) (← links)
- Partial order reduction for checking soundness of time workflow nets (Q507759) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Process mining with token carried data (Q1750524) (← links)
- Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)