petrinet.cc File Reference

---

Detailed Description

Petri Net API: base functions.

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.227 $

Definition in file petrinet.cc.

#include <cassert>
#include <iostream>
#include <utility>
#include "petrinet.h"
#include "helpers.h"
#include "pnapi.h"

Include dependency graph for petrinet.cc:

Go to the source code of this file.

Namespaces
namespace	PNapi

---