GitHub repository: pierreganty/mist
Primary language: Python
Description: Safety checker for Petri Nets (and monotonic extensions)