caesar.bdd
From MaRDI portal
Software:40855
swMATH29141MaRDI QIDQ40855FDOQ40855
Author name not available (Why is that?)
Cited In (5)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
- Accelerating the computation of dead and concurrent places using reductions
- Nested-unit Petri nets
- Efficient algorithms for three reachability problems in safe Petri nets
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account
This page was built for software: caesar.bdd
