Free library to model Petri nets and state transition diagrams (extended version). - View it on GitHub