petrinet.h File Reference

---

Detailed Description

Petri Net API.

Author:

Niels Lohmann <nlohmann@informatik.hu-berlin.de>, Christian Gierds <gierds@informatik.hu-berlin.de>, Martin Znamirowski <znamirow@informatik.hu-berlin.de>, last changes of: $Author: znamirow $

Since:

2005/10/18

Date:

$Date: 2007/09/12 11:42:04 $

Note:

This file is part of the tool GNU BPEL2oWFN and was created during the project Tools4BPEL at the Humboldt-Universität zu Berlin. See http://www.informatik.hu-berlin.de/top/tools4bpel for details.

Version:

$Revision: 1.159 $

Definition in file petrinet.h.

#include <string>
#include <ostream>
#include <vector>
#include <set>
#include <map>
#include <list>
#include <deque>

Include dependency graph for petrinet.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	PNapi
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...

---