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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Published online: 25 July 2001
Rights and permissions
About this article
Cite this article
Kindler, E., Weber, M. The Petri Net Kernel An infrastructure for building Petri net tools. STTT 3, 486–497 (2001). https://doi.org/10.1007/s100090100055
Issue Date:
DOI: https://doi.org/10.1007/s100090100055