In: Weber, Ehrig, Reisig (Eds.): Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pages 171-178. DFG Research Group "Petri Net Technology", September 2001.
Abstract: There are many different versions of Petri nets. Typically, Petri net tools support only a few particular Petri net types and even mostly one particular file format. Though different, the Petri net types have many features in common. However, there are many different extensions of Petri nets, which are represented as labels associated with places, transitions, arcs, or the complete net. In this paper, we present both the Petri Net Kernel (PNK) and the Petri Net Markup Language (PNML). The Petri Net Kernel is an infrastructure for building Petri net tools. Whereas, the Petri Net Markup Language is a file format for Petri nets. Among other features both support all kinds of Petri nets.