Pages that link to "Item:Q5915567"
From MaRDI portal
The following pages link to Occam's razor applied to the Petri net coverability problem (Q5915567):
Displayed 6 items.
- Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
- Directed reachability for infinite-state systems (Q2233488) (← links)
- (Q5009439) (← links)
- Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
- Linear equations for unordered data vectors in $[D]^k\to{}Z^d$ (Q5060183) (← links)
- (Q5915900) (redirect page) (← links)