Pages that link to "Item:Q1884933"
From MaRDI portal
The following pages link to On liveness and boundedness of asymmetric choice nets (Q1884933):
Displaying 3 items.
- Checking system boundedness using ordinary differential equations (Q454908) (← links)
- Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
- PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (Q5100757) (← links)