Free library to model Petri nets and state transition diagrams (extended version).