The following pages link to Normal and sinkless Petri nets (Q1208921):
Displaying 5 items.
- On minimal elements of upward-closed sets (Q1019726) (← links)
- Deciding a class of path formulas for conflict-free Petri nets (Q1364130) (← links)
- A valuation-based analysis of conflict-free Petri nets (Q1605406) (← links)
- Bounded self-stabilizing Petri nets (Q1892714) (← links)
- PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS (Q3395130) (← links)
