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