NUPN_INFO
From MaRDI portal
Software:40851
swMATH29137MaRDI QIDQ40851FDOQ40851
Author name not available (Why is that?)
Cited In (4)
- Accelerating the computation of dead and concurrent places using reductions
- Automatic decomposition of Petri nets into automata networks -- a synthetic account
- Efficient algorithms for three reachability problems in safe Petri nets
- Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
This page was built for software: NUPN_INFO
