Petrinet and procedural language combined