A simulator for high-level Petri nets: An ePNK application

Ekkart Kindler, Mindaugas Laganeckas

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract

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.
Original languageEnglish
JournalPetri Net Newsletter
Volume82
Pages (from-to)3–19
ISSN0391-1804
Publication statusPublished - 2013

Bibliographical note

Technical contribution.

Fingerprint Dive into the research topics of 'A simulator for high-level Petri nets: An ePNK application'. Together they form a unique fingerprint.

Cite this