A Symbolic Model Checker for Petri Nets: pnmc

Alexandre Hamez. A Symbolic Model Checker for Petri Nets: pnmc. T. Petri Nets and Other Models of Concurrency, 11:297-306, 2016. [doi]

Abstract

Abstract is missing.