qt ptnet editor

We have hosted the application qt ptnet editor in order to run this application in our online workstations with Wine or directly.

Quick description about qt ptnet editor:

PTNET Editor is a Qt based application. It incorporates several functionalities allowing the user to draw, edit, animate, analyse by constructing the coverability/reachability graph, convert to image format and open/save as a PNML document a Place/Transition Net. The application uses the standard PNML exanchge format and specifications.



.