GUI APNNed

APNNed is implemented in JAVA, such that it inherits the advantages of JAVA applications which include portability, ease of integration into interactive documents. APNNed could be used on several platforms like Unix (Solaris), Linux or Windows 95/98/ME/NT.
When APNNed is started then the main window first appears.

Main window

Clearly any net editor must include an essential functionality to be operational, which includes load and save, create and delete etc. APNNed uses the APNN (Abstract Petri net notation) for the load and save operation. Additional to this, automatic transformers have been developed which transform nets from other Petri net tools like PEP, GreatSPN and from the process chain formalism into the APNN which can then be loaded with APNNed.
The token game in APNNed is trace driven, which means that a trace is either loaded from a file, or generated by performing the token game step by step in an interactive mode or a generated automatically with random selection of transitions for firing. Once a trace is available the user can move backwards and forwards within it, which is a useful feature to analyze traces generated by analysis tools to detect the reason for an observed behavior.
The including graph layout is an useful function which help to obtain a planar layout of a given net. The resulting layout is not guaranteed to meet the esthetic demands of a user but the feature can be helpful in many cases.
APNNed allows to manipulate the hierarchical structure not only by creation and deletion of subnets, but also by merging subnets and by moving a selected set of nodes into a subnet.
The following figure shows an edit window with a top level Petri net.

GUI APNNed

Main window

Edit window