The following pages link to Nested-unit Petri nets (Q2423743):
Displayed 7 items.
- NUPN_INFO (Q40851) (← links)
- Accelerating the computation of dead and concurrent places using reductions (Q832013) (← links)
- Preface to the special issue on open problems in concurrency theory (Q2096427) (← links)
- Efficient algorithms for three reachability problems in safe Petri nets (Q2117182) (← links)
- Cartesian difference categories (Q2200813) (← links)
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Q5100747) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)