PetriNetException.hh File Reference

#include <stdexcept>
#include <iostream>

Go to the source code of this file.

Classes
class	Diades::Petri::PetriNetInvalid
class	Diades::Petri::MarkingGraphInvalid

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