Pages that link to "Item:Q1633343"
From MaRDI portal
The following pages link to Stubborn versus structural reductions for Petri nets (Q1633343):
Displaying 10 items.
- Accelerating the computation of dead and concurrent places using reductions (Q832013) (← links)
- The application of EB-equivalence rules to the structural reduction of GSPN models (Q1200154) (← links)
- How Petri net theory serves Petri net model checking: a survey (Q2032911) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- Narrowing Petri net state spaces using the state equation (Q2775869) (← links)
- Symbolic and Structural Model-Checking (Q5025068) (← links)
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking (Q5044397) (← links)
- Structural Reductions Revisited (Q5100759) (← links)
- (Q5190772) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)