Pages that link to "Item:Q847264"
From MaRDI portal
The following pages link to Reduction rules for reset/inhibitor nets (Q847264):
Displaying 5 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Negotiation as concurrency primitive (Q1731828) (← links)
- Discovery, Verification and Conformance of Workflows with Cancellation (Q3540385) (← links)
- Transforming dynamic condition response graphs to safe Petri nets (Q6535206) (← links)
