Petri Net Kernel
Overview
Entry last updated: 2002/10/24
Entry last validated: 2004/6/3
Tool homepage: http://pnk.sourceforge.net/
Tool availability: Free of charge
Tool Features
Petri Nets Supported (see also help on terminology)
- High-level Petri Nets
- Place/Transition Nets
- DAWN-Nets
User definable
Components (see also help on terminology)
- Graphical Editor
- Token Game Animation
- Interchange File Format
- INA-pilot
User definable
Environments
Tool Description
The Petri Net Kernel (PNK) is an infrastructure for developing Petri
net tools. It relieves the programmer from implementing standard
functions on Petri nets such as loading and saving nets, accessing and
modifying the net structure, and building graphical user interfaces.
Different components for the PNK can be arbitrarily combined and
integrated into a single tool without programming effort.
The PNK is not restricted to particular Petri net types. Rather, the
Petri net type can be specified by the programmer.
The PNK is implemented in the programming language Java and can be
used in any environment on which Java is available. An older version
of the PNK implemented in Python is available, too.
The standard file format of the PNK is the Petri Net Markup Language
(PNML).
Contact Information
Michael Weber
Institut f’r Informatik
Humboldt-Universit„t zu Berlin
D-10099 Berlin
Germany
Phone: -
Fax: -
E-mail: mjweber@users.sourceforge.net
Other Remarks
The maintainers of this page