Petri Net API

---

Detailed Description

Author:

Niels Lohmann <nlohmann@informatik.hu-berlin.de>

All functions needed to organize a Petri net representation that can be written to several output file formats and that supports structural reduction rules.

Files
file	petrinet-output.cc
	Petri Net API: file output.
file	petrinet-reduction.cc
	Petri Net API: structural reduction.
file	petrinet.cc
	Petri Net API: base functions.
file	petrinet.h
	Petri Net API.
Classes
class	PNapi::Node
	unspecified Petri net nodes More...
class	PNapi::Transition
	transitions of the Petri net More...
class	PNapi::Place
	places of the Petri net More...
class	PNapi::Arc
	arcs of the Petri net More...
class	PNapi::PetriNet
	A Petri net. More...
Enumerations
enum	PNapi::communication_type { PNapi::INTERNAL, PNapi::IN, PNapi::OUT, PNapi::INOUT }
	place and transition types More...
enum	PNapi::arc_type { PNapi::STANDARD, PNapi::READ }
	arc types More...
enum	PNapi::node_type { PNapi::PLACE, PNapi::TRANSITION }
	node types More...
enum	PNapi::output_format {   PNapi::FORMAT_APNN, PNapi::FORMAT_DOT, PNapi::FORMAT_INA, PNapi::FORMAT_SPIN,   PNapi::FORMAT_INFO, PNapi::FORMAT_LOLA, PNapi::FORMAT_OWFN, PNapi::FORMAT_PEP,   PNapi::FORMAT_PNML, PNapi::FORMAT_IOLOLA }
	file formats More...

---