Pages that link to "Item:Q672866"
From MaRDI portal
The following pages link to Proving nonreachability by modulo-invariants (Q672866):
Displaying 4 items.
- Petri net based verification of distributed algorithms: An example (Q1377301) (← links)
- Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
- Algebraic nets with flexible arcs (Q5958125) (← links)
- Flexibility in Algebraic Nets (Q6487399) (← links)