Petri Net Kernel


Entry last updated: 2002/10/24
Entry last validated: 2004/6/3

Tool homepage:

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


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

Phone:  -
Fax:    -

Other Remarks

[PN Home][*]
The maintainers of this page