Summary

This declarative language is dedicated to all, who want to use petri nets, but
want also an open source and handy tool to visualize the nets. It is a frontend
to the dot language and it can be used as plugin for doxygen.

Example

@startpetri{beer_ordering.png}

(o) = "order beer";
[g] = "give beer";

(coin) --> [g];
(o) --> [g];
[g] --> (beer);

@endpetri

Build

There is a make script in the root directory. To build the application, execute:

$ ./make -r build install

Afterwards an executable is in the install/bin directory of the project.

Plugin in doxygen

To use the program in doxygen, you need to define an alias in the doxyfile:

ALIASES = "startpetri{1}=\image \1\n\if DontIgnorePetriNetCode"
ALIASES += "endpetri=\endif"

Then you should execute petrinet on every relevant file before doxygen by:

petrinet -i file.cpp -o ./path/to/html/output