A Petrinet PHP framework