GitHub repository: wahlencraft/petri-net
Primary language: C++
Description: A basic implementation of petri nets used to verify some system properites