DTU 
 

 

ePNK Installation

Newest version
The ePNK is a platform for developing Petri net tools based on the PNML transfer format (see overview).

 

The newest version (January 17, 2018) of the ePNK is version 1.2, which runs under Eclipse Indigo and all newer versions (it was tested for Eclipse Indigo, Neon and Oxygen). The Eclipse update site for this version can be found at http://www2.compute.dtu.dk/~ekki/projects/ePNK/1.2/update/.

 

More documentation and installation information will be provided shortly.

 

You will find more details on how to install this version here.

 

Overview of earlier versions
Here are different versions of the ePNK that have been released over the time and an overview of their features (and the improvments):
  • 0.8.0, Nov. 2010: A preliminary version of the ePNK. The core and the editor support all major features, but the data types of HLPNGs are not yet fully supported (HLPNGs only support the basic data types). This version was released to selected people only (to the "brave and the daring").

     

  • 0.9.0, Jan. 5, 2011: This version fully supporting PNML with all subtypes of high-level Petri nets, has a feature complete graphical editor. This version works on eclipse Galileo only (which concerns the HLPNG extension). Usability of the graphical editor could still be improved.

     

    Along with this version comes a tutorial explaining all the extension mechanisms of the ePNK with some "Mickey Mouse examples" and a simple model checker for P/T-nets. See the documentation in the ePNK Manual (0.9.0).

     

    It turned out that there were some minor, but unpleasant bugs in the graphical editor, when editing labels and page labels of HLPNGs (or structured net types in general).

     

  • 0.9.1, Jan 31, 2011: This version runs on eclipse Galileo as well as on eclipse Helios (in two different configurations). The unpleasant bugs in the GUI were fixed. Since there are no changes in the ePNK interfaces, the tutorials of version 0.9.0 still work with this version.The interfaces of the ePNK did not change, only the installation procedure changed.

     

    Concerning usability, there are no improvements yet (except for fixing the unpleasant bugs). This will hopefully be addressed in the next major release (1.0).

     

    For installation details of version 0.9.1 see here.

     

  • February 2011: ePNK manual for version 0.9.1.

     

  • 0.9.1 (tutorial), Feb. 22, 2011: There was a bug in the ePNK version 0.9.1, which will be fixed in version 0.9.2. But, the bug had the effect that the MulitAgentMutex tutorial was not working. This tutorial was adjusted so that it works with version 0.9.1 (by programming it a bit more defensively). Therefore, we also released version 0.9.1 of the tutorial.

     

  • 0.1.0 HLPNG label serialiser (experimental extension), Mar. 24, 2011: The PNML does not mandate a specific conrete syntax for the textual labels of declarations, terms, and sorts in HLPNGs. This text might even be left empty. This extension provides a function that serialises all the label to the ePNK's concrete syntax for these labels. This way, the labels can be edited in the ePNKs syntax. The function is available as a popup menue (right click) on nets of nets that are of type HLPNG.

     

    Note that this extension is experimental. It is actually an intermediate stage of a project for generic parsing and serialisation of new Petri net types.

     

  • 0.1.0 ECNO Nets (experimental extension), March 24, 2011: This is a demo project showing a prototype of the Event Coordination Notation (ECNO) API and Runtime together with a new net type, that can define the local behaviour of elements that are coordinated by ECNO. For the ECNO Nets, code can be generated that runs in the ECNO environment. The new Net Type is called ECNO Nets and the code generator is invoked by a popup menu on ECNO nets (for the code generator to work, the PNML file must be located in a Java or Eclipse Plug-in project).

     

  • 0.9.2, June 17, 2011: This version runs on eclipse Helios (Galileo version to be release shortly). There are many extensions concerning stability, usability, extensibility, and functionality. The extensions are discussed in full detail at a separate release 0.9.2 page. Very briefly the main extensions are:
    • Undo/redo and dirty flag are wroking properly now across different editors.
    • Editors open on double-clicking on a page.
    • All graphical features of the ePNK graphical editor are saved now (not all in PNML concepts; some information is tool specific).
    • Problem reporting and problem icons in graphical editor.
    • PNML's attribute concepts implemented along with graphical extensions depending on these attributes.

     

    The Helios version of the ePNK 0.9.2 can be obtained from a separate update site now http://www2.compute.dtu.dk/~ekki/projects/ePNK/helios/update/ (see installation instructions for details on how to install the ePNK 0.9.2).

     

  • 0.1.1 ECNO Nets (experimental extension), June 17, 2011: Minor update so that the ECNO Nets extension works together with the version 0.9.2 of the ePNK (the code needed to be regnerated – see release notes of version 0.9.2).

     

  • ePNK product (version 0.9.2), August 5, 2011: The ePNK product is a stand-alone version of the ePNK for Windows systems (XP and higher). See http://www2.compute.dtu.dk/~ekki/projects/ePNK/rcp.html for more information and instructions on how to download and install the ePNK product.

     

  • 1.0.0, October 11, 2012: This version runs on Eclipse Indigo (3.7) and Juno (4.2). Many minor bugs were fixed, more graphical features are transferred to the PNML format now, and it is now possible for applications to show visual information on top of a Petri net (without changing the net itself). This way, the current marking of a simulation or enabled transitions can be shown.

     

    See release 1.0.0 page for more information and installation details.

     

  • 1.0.0, December 20, 2012: ePNK manual for Version 1.0.0

     

  • 1.0.1, June 21, 2013: A release of the ePNK for Eclipse Kepler (4.3). This release was tested with Eclipse Kepler 4.3, and it should work with Eclipse Indigo and Juno as well. In version 1.0.1 of the ePNK, some minor bugs of version 1.0.0 are fixed, some projects are cleaned up a bit, and some features are implemented in a slightly more defensive or general way. The API did not change and the functionality of the ePNK was not extended. The release for Eclipse Kepler is available at: http://www2.compute.dtu.dk/~ekki/projects/ePNK/kepler/update/.

     

  • 1.1.0, June 13, 2016: This version runs on Eclipse Indigo (3.7) and newer versions; it was tested for Eclipse Indigo (3.7), Mars (4.5) and Neon (4.6).

     

    Several minor bugs have been fixed, and some functionality has been added so that the flat access to nets can be handled in a more efficient way. Most singificantly, the framework for ePNK applications has been extended, so that it is much easier to implement ePNK applications whith graphical feedback to the user on top of the graphical editor and with graphical interactions with the user. In addition, the state of an application can be saved and loaded now by the end user.

     

    Moreover, version 1.1 of the ePNK implements a work around for a bug of GMF, which results in the ePNK not working proplerly on Windows 10. Therefore, users (developers as well as end users) using the ePNK on Windows 10 should install version 1.1 of the ePNK.

     

    For installation details of version 1.1.0 see here.

     

  • 1.2.0, January 17, 2018: This version runs on Eclipse Indigo (3.7) and newer versions; it was tested for Eclipse Indigo (3.7), Neon (4.6) and Oxygen (4.7).

     

    Several minor bugs have been fixed, and some functionality has been added. Most importantly, new Petri net types can now be plugged in without any programming, and, for Petri nets that are derived from other types, the specific classes for the special objects are automatically derived in most cases. This way, even the implementation of more complex Petri net types does not need programming at all.

     

    For installation details of version 1.2.0 see here.

     

Resources
Here is a brief overview of the available resources for the ePNK:

 

Ekkart Kindler (), Jan. 31, 2011 (last updated April 11, 2018)