Pages that link to "Item:Q2775861"
From MaRDI portal
The following pages link to Unfolding based alorithms for the reachability problem (Q2775861):
Displaying 7 items.
- Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm (Q958302) (← links)
- SAT-solving the coverability problem for Petri nets (Q1878911) (← links)
- Efficient algorithms for three reachability problems in safe Petri nets (Q2117182) (← links)
- Parameter space abstraction and unfolding semantics of discrete regulatory networks (Q2422012) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- (Q5111631) (← links)