PEP-PNML Interface and related topics

What is PNML?

The Petri Net Markup Language is a Petri net file format based on XML.

PNML to SVG conversion

To view PNML files, you may use the following stylesheets to convert PNML nets into SVG images and use any SVG browser. Both archives contain the main stylesheet pnml2svg.xsl, some additional utility templates in math.xsl and a specialized stylesheet which renders initial marking as small black circles. You have to use either pnml2svg.xsl or blacktoken.xsl when using your transformation tool.
pnml2svg as tar file
pnml2svg as zip file

PNML support within PEP

To use the PEP-PNML interface, you need libxml2 on your system. If this library is not available, create your own and copy libxml2.so into pep/bin.

Back to the home pages

Parallel Systems Group

Department of Computing Science

University of Oldenburg