Pages that link to "Item:Q1956980"
From MaRDI portal
The following pages link to Verification of hypercube communication structures via parametric Petri nets (Q1956980):
Displaying 4 items.
- Verification of hypercube communication structures via parametric Petri nets (Q1956980) (← links)
- Parameterised verification of publish/subscribe networks with exception handling (Q2330595) (← links)
- Infinite Petri Nets: Part 1, Modeling Square Grid Structures (Q5126834) (← links)
- Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures (Q5126838) (← links)