caesar.bdd
From MaRDI portal
Software:40855
No author found.
Related Items (5)
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 ⋮ Nested-unit Petri nets ⋮ Efficient algorithms for three reachability problems in safe Petri nets
This page was built for software: caesar.bdd
