1 Department of Applied Mathematics and Computer Science, Technical University of Denmark2 Software Engineering, Department of Applied Mathematics and Computer Science, Technical University of Denmark3 unknown
The ePNK is a platform for Petri net tools based on the PNML transfer format. One of its important features is its extensibility, which allows developers to plug in new Petri net types and new functions and applications for different kinds of Petri nets. The basic version of the ePNK provides an editor for high-level Petri nets, but no analysis or simulation functionality. In this paper, we present a simulator for high-level Petri nets, which supports most of the built-in operators of ISO/IEC 15909-2. As an additional feature, this simulator allows the simulation of so-called network algorithms. In this paper, we briefly show how to use this simulator from the end user's point of view. Moreover, we discuss some of the concepts underlying this simulator and its implementation.