The ePNK is a platform for developing Petri net tools based on the PNML transfer
format (see ePNK Home Page).
Version 1.1.0 is now (as of June 13, 2016) available, which should work for Eclipse Indigo (3.7) and newer versions of Eclipse. It was tested on Eclipse Indigo (3.7), Mars (4.5) and Neon (4.6).
Version 1.1.0 of the ePNK runs under Eclipse Indigo and
all newer versions (it was tested for Eclipse Indigo, Mars and Neon).
The Eclipse update site for this version can be found
at http://www2.compute.dtu.dk/~ekki/projects/ePNK/1.1/update/.
Unfortunately, the ePNK manual is not updated for version 1.1. For some additional
information, see the release notes for version 1.1
or a draft of a tutorial chapter for an extended version of the ePNK manual for version 1.1:
Draft Chapter 5 of ePNK manual for version 1.1:
Complete Tutorial: Net type and Application.
You will find some more information on how to install this version of the ePNK below.
Release notes |
|
The major changes from version 1.0.0 to 1.1.0 are fixes of many minor bugs, some
extended functionality, and a more efficient implementation of some features.
The most significant contribution is the extension of the ePNK application framework,
which makes it easier to present results to the end user and to allow the application
interacting with the end user. Moreover, the state of an ePNK application (the so-called net
annotations) can be saved now to a file and loaded again later.
Here is a list of the major changes:
- There was a bug in a menu (
PopupMenu ) of GMF, which only started causing
proplems on Windows 10 systems. The ePNK used this menu. The ePNK version 1.1
has replace this GMF menu with an own implementation, so that the ePNK also works for
Windows 10.
In order to properly work with the ePNK on Windows 10, you should use the ePNK version 1.1.
- The ePNK come with a utility class
FlatAccess , which allows to access
a net almost as if it did not have pages. Initializing this class is quite costly.
In order to reduce this cost, the ePNK 1.1 allows different functions,
applications, or other uses of the ePNK sharing the same FlatAccess .
Therefore, instances of FlatAccess should no longer be create by
each use using the constructor of FlatAccess ; instead an instance
of FlatAccess should be obtained by the static method getFlatAccess() .
The constructor is still available for compatibility reasons, but it is @deprecated .
The FlatAccess also has a notification mechanism now for functions, applications
or other uses to be notfied when the underlying net changes.
- Version 1.1 of the ePNK comes a extended framework for developing ePNK applications.
These extensions make it easier to build ePNK applications with visual feedback to and
interaction with the end-user on top of the graphical representation in the graphical editor.
To this end, an ePNK application can be equipped with
new annotations (which existed already in version 1.0.0) and with presentation handlers
and action handlers. The presentation handlers define how annotations should be
graphically represented on top of the graphical representation in the graphical editor;
the action handlers define what should happen on user actions on these annotations (mouse
clicks).
The details will evenutally be documented in an update version of the
ePNK manual. For now,
the plugin org.pnml.tools.epnk.tutorials.applications.pt-net-simulator ,
which is provided as a tutorial example with version 1.1, should give some ideas
of how to use the ePNK application framework.
- Version 1.1 of the ePNK allows the end-user to save the state of an application
(the underlying net annotations) in a file and to start an application from
this file later again. All the developer needs to do for an applictaion to be able
to save its state is to override the method
isSavable() to return
true .
- Version 1.1 comes with a still experimental feature, which allows the end-user
to create all lables which are possible for the underlying object and
adjusting them equally distributed around the object. This feature is
available via a popup menu "ePNK -> Add Default Labels" on all
Petri net objects in the graphical editor.
- A last but important note does not concern the ePNK itself, but
some default settings of newer versions of EMF. In the
ePNK manual
it says that, when generating the code for a Petri net type model, the
settings in the gen model after creating it would not
need to be changed. With newer versions of EMF, you would probably need to
change one property of the topmost element of the gen model: You must change
"Reflective Operations" in category "Model" to
false ; if the
generated code shows errors, this might be the cause of the problem.
|
Installation details |
Below, it is explained step by step how to install version 1.1.0 of the ePNK on your computer..
For installing the ePNK version 1.1.0 on you computer, you first need to install Java and
Eclipse on your computer. It is recommended that you use Mars (4.5) or Neon (4.6). If you intend to use the ePNK as an
end-user only and you do not intend to develop your own extensions, any configuration of Eclipse
might do. In that case, you could use "Eclipse IDE for Java Developers" from
http://www.eclipse.org/downloads/.
If you intend to develop your own extensions with and for the ePNK, it is recommended that you
install Eclipse with the "Eclipse Modeling Tools" extension, which you can obtain from http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/lunar.
Once you have installed Eclipse on your computer, you can install the
ePNK extensions from the ePNK update site http://www2.compute.dtu.dk/~ekki/projects/ePNK/1.1/update/ directly from your Eclipse workbench.
To this end, start your version of Eclipse. Then, proceed as follows:
- In the Eclipse tool bar, select "Help" -> "Install New Software..."
- In the opened "Install" dialog, press the "Add..." button to add a new update site.
In the "Add Site" dialog, enter some name (e.g. "ePNK Update Site"), enter the
URL "http://www2.compute.dtu.dk/~ekki/projects/ePNK/1.1/update/" as location, and press
okay.
- Now, select the newly created ePNK update site in the still open "Install" dialog.
After some time, some ePNK items should pop up in the dialog. If the items are
not grouped into categories, make sure to check the check box "Group items by category".
You should select all features from the three categories: "ePNK Features",
"ePNK Experimental Features", and "HLPNG Simulator".
You do not need to install the features from the "ECNO" categories, unless you
would want to use the ECNO Tool (see ECNO Home Page for more information). You can always install that ECNO Tools
at a later point in time, if you need the ECNO Tool.
If you want to install the ECNO Tool only, it is enough to select all
features from the "ECNO Tool" and the "ECNO Examples" category (all
the ePNK features needed for installing the ECNO Tool will automatically
be added).
Make sure that the box "Contact all update sites during install to
find required software" is checked; this will make sure that all plugins from
Eclipse that the ePNK or ECNO Tools need, will be installed too (EMF, GMF, Xtext, etc.).
- Follow through the installation process (don't forget to accept the licence agreement).
If you get an error of the kind
Cannot complete the install because one or more required items
could not be found. ...
you have probably selected the wrong combination of features. In that case, go back
and select the right combination as explained above. An other possibility for an
error is that you have forgotten to tick the checkbox "Contact all update sites
during install to find required software".
Note that at some point you will be informed, that the features to be installed
are not signed — and you will be asked whether you want to continue anyway.
- After you made it successfully though all the dialogs, the ePNK and all other required
plugins will be installed; it is a good idea to restart Eclipse after that (Eclipse will
ask you to do that anyway).
- After a restart you might want to import some examples
ePNK-1.0.0-examples.zip of Petri nets with the
Eclipse import feature. If you are a first time user of the ePNK, you should have a look
into the ePNK manual, where in
particular Chapter 3, "Users' guide", will help you getting started with some examples.
|
Resources |
Here is a brief overview of the available resources for the ePNK:
-
Ekkart Kindler:
The ePNK: A generic PNML tool - Users' and Developers' Guide for Version 1.0.0.
IMM-Technical Report-2012-14, DTU Informatics, Kgs. Lyngby, Denmark, December 2012.
- Ekkart Kindler:
Chapter 5 of a draft for a revised and extended ePNK Manual for version 1.1:
Complete Tutorial: Net type and Application, July 2016
(will eventually replace the ePNK manual for version 1.0.0).
- ePNK-1.0.0-examples.zip:
an Eclipse project with some PNML examples. These can
be imported to the Eclipse workspace via the Eclipse import mechanism. There are in particular
some examples which can be used with the simulator for high-level Petri nets, which is
deployed together with version 1.0.0.
- org.pnml.tools.epnk.pntypes.signalnets.1.0.1.zip: Contains the
source code of the two plug-in projects
org.pnml.tools.epnk.pntypes.signalnets and
org.pnml.tools.epnk.pntypes.signalnets.edit ,
which are deployed as part of the tutorial projects of
version 1.0.0 of the ePNK. Unfortunately, these two projects were
configured in such a way that their source code can not be imported
to the development workspace. Therefore, the source code is made
avaliable here.
- Mindaugas Laganeckas:
A Simulator for high level Petri Nets: Model based design and implementation.
Master's thesis, Sepetmber 2012, Technical University of Denmark, DTU Informatics, Kgs. Lyngby, Denmark,
Series IMM-M.Sc.-2012-101.
- There is also a SVN repository in which the ePNK is developed, which is maintained at DTU. People, who
would like to join the development team of the ePNK, could contact Ekkart Kindler. Once we reach
the critical mass, the repository will probably be moved to some open source collaboration platform
such as Source Forge. For just having a look, at the source code of some of the ePNK's projects, you
can use Eclipse's "Import as Source Project" feature (except for some few exceptions, the ePNK projects
start with org.pnml.tools.epnk). In particular, some of the tutorials might be worth a look.
- And of course, all the PNML resources mentioned at the ePNK home page
could be useful.
|
|