Prototype of a Petri net tool