GitHub repository: meyerphi/petrinizer
Primary language: Python
Description: Safety and Liveness Analysis of Petri Nets with SMT solvers