Pages that link to "Item:Q3550623"
From MaRDI portal
The following pages link to Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (Q3550623):
Displayed 8 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Structural soundness of workflow nets is decidable (Q1044705) (← links)
- Sufficient conditions for the marked graph realisability of labelled transition systems (Q1623288) (← links)
- Aligning event logs to resource-constrained \(\nu \)-Petri nets (Q2165247) (← links)
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
- Discovery, Verification and Conformance of Workflows with Cancellation (Q3540385) (← links)
- Compositional Service Trees (Q3636850) (← links)