#1 PTNET Editor overview

[issam]

This a graphical application based on Qt Framework.
It permit the user to:

• draw graphically a Place/Transition net modelising a problem or a system;
• Parse a PNML document describing a net and draw it;
• Save a drawn Place/Transition net;
• Simulate the behavior of the modelised problem by animating the net;
• Analysing the Net to capture the system defects by constructing and visualizing
  the Coverability Graph.