Petri Net Kernel
Entry last updated: 2002/10/24
Entry last validated: 2004/6/3
Tool homepage: http://pnk.sourceforge.net/
Tool availability: Free of charge
Petri Nets Supported (see also help on terminology)
Components (see also help on terminology)
- High-level Petri Nets
- Place/Transition Nets
- Graphical Editor
- Token Game Animation
- Interchange File Format
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
Institut f’r Informatik
Humboldt-Universit„t zu Berlin
The maintainers of this page