Pages that link to "Item:Q5756691"
From MaRDI portal
The following pages link to A Reachability Algorithm for General Petri Nets Based on Transition Invariants (Q5756691):
Displaying 7 items.
- S-invariant analysis of general recursive Petri boxes (Q1894677) (← links)
- Dominance and T-Invariants for Petri Nets and Chemical Reaction Networks (Q2948405) (← links)
- (Q3642015) (← links)
- (Q4206565) (← links)
- (Q4606103) (← links)
- Analyzing Reachability for Some Petri Nets With Fast Growing Markings (Q4982096) (← links)
- On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions (Q5060067) (← links)