Petrinet PHP framework