NUPN_INFO
From MaRDI portal
Software:40851
No author found.
Related Items (4)
Accelerating the computation of dead and concurrent places using reductions ⋮ Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account ⋮ Efficient algorithms for three reachability problems in safe Petri nets
This page was built for software: NUPN_INFO
