The following pages link to Nested-unit Petri nets (Q2423743):
Displaying 10 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)
- Union decomposition of Petri net (Q2726020) (← links)
- (Q4507821) (← 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)
- Experimenting with stubborn sets on Petri nets (Q6535200) (← links)