Pages that link to "Item:Q2889608"
From MaRDI portal
The following pages link to Ten Years of Saturation: A Petri Net Perspective (Q2889608):
Displayed 5 items.
- Nested-unit Petri nets (Q2423743) (← links)
- Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models (Q2822659) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- New Search Strategies for the Petri Net CEGAR Approach (Q2941159) (← links)
- Symbolic Termination and Confluence Checking for ECA Rules (Q3452476) (← links)