ZBDD

A ZBDD Package for Efficient Model Checking of Petri Nets.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element