The Petri Net Kernel An infrastructure for building Petri net tools

Abstract

The Petri Net Kernel is an infrastructure for building Petri net tools. It relieves the programmer of a Petri net tool from implementing standard operations on Petri nets and a graphical user interface. In this paper, we discuss the motivation, the concepts, and the implementation of the Petri Net Kernel. 
DOI: 10.1007/s100090100055

Topics

3 Figures and Tables

Cite this paper

@article{Kindler2001ThePN, title={The Petri Net Kernel An infrastructure for building Petri net tools}, author={Ekkart Kindler and Michael Weber}, journal={International Journal on Software Tools for Technology Transfer}, year={2001}, volume={3}, pages={486-497} }