Pages that link to "Item:Q5100757"
From MaRDI portal
The following pages link to PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (Q5100757):
Displaying 3 items.
- A memory-related vulnerability detection approach based on vulnerability model with Petri Net (Q2693302) (← links)
- Safety and Soundness for Priced Resource-Constrained Workflow Nets (Q5415300) (← links)
- Verification of data-aware process models: checking soundness of Data Petri nets (Q6197587) (← links)