petrinet-reduction.cc File Reference

---

Detailed Description

Petri Net API: structural reduction.

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:

2006-03-16

Date:

$Date: 2007/07/13 12:50:48 $

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

Definition in file petrinet-reduction.cc.

#include <iostream>
#include <list>
#include <cassert>
#include <set>
#include <utility>
#include "petrinet.h"
#include "helpers.h"
#include "debug.h"

Include dependency graph for petrinet-reduction.cc:

Go to the source code of this file.

---