Guile-Petri
Documentation
Source code