BranchingProcess.hh File Reference

BranchingProcess. More...

#include <diades/utils/Exceptions.hh>
#include <diades/utils/Box.hh>
#include <diades/petri/Net.hh>
#include <diades/petri/Extensions.hh>

Go to the source code of this file.

Classes
class	Diades::Petri::BranchingProcess
	This class implements a branching process of a Net (see Esparza 2002). More...

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Petri

Detailed Description

BranchingProcess.

Author

Yannick Pencolé yanni.nosp@m.ck.p.nosp@m.encol.nosp@m.e@la.nosp@m.as.fr

Date

Mon Sep 30 17:37:00 2013

Definition in file BranchingProcess.hh.