Petri Nets

Source Code on GitHub.