At a Glance
| Applications | Model Checker |
| Licenses | BSD-2-Clause |
| Maintenance | Actively Maintained |
Description
Pnmc is a symbolic model checker for Petri nets.
| Applications | Model Checker |
| Licenses | BSD-2-Clause |
| Maintenance | Actively Maintained |
Pnmc is a symbolic model checker for Petri nets.