ePNK

Overview

Entry last updated: 2011/4/21
Entry last validated: 2011/4/21

Tool homepage: http://www2.imm.dtu.dk/~eki/projects/ePNK/

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

High-level Petri Nets
Place/Transition Nets
New types can be plugged in

Components (see also help on terminology)

Graphical Editor
State Spaces
Model checker (for P/T nets); new functionality can be plugged in

Environments

Eclispe (Galileo or later)

Tool Description

The ePNK is a platform for Petri net tools based on the PNML transfer format. Its main idea is to provide generic Petri net types, which can be easily plugged into it, and to provide a simple generic GMF editor, which can be used for graphically editing nets of any plugged in type.

Additional functionality can be plugged in. The ePNK is implemented based on the eclipse platform, and runs on all hardware platforms supporting eclipse.

The current version of the ePNK is 0.9, which fully supports PNML and all the Petri net types defined in the International Standard ISO/IEC 15909-2.

As suggested by the version number, the ePNK is stabilizing now, but still needs some polishing.

Contact Information

Ekkart Kindler
Technical University of Denmark
DTU Informatics
DK-2800 Kgs. Lyngby 
Denmark

Phone:  +45 4525 3750
Fax:    +45 4525 2673
E-mail: eki@imm.dtu.dk

Other Remarks

The purpose of the ePNK is not so much providing functionality. Its purpose is to make it easy to develop and deploy new Petri net types and new functionality in a uniform way.

The maintainers of this page