AutomataConversion.hh File Reference

To convert a set of synchronised automata to a single Petri net. More...

#include <vector>
#include <diades/utils/Exceptions.hh>
#include <diades/automata/ObservableComponent.hh>
#include <diades/automata/SynchronisationRules.hh>
#include <diades/petri/Net.hh>

Go to the source code of this file.

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

Functions
void	Diades::Petri::automataConversion (const std::vector< std::reference_wrapper< const ObservableComponent > > &automata, const SynchronisationRules &sync, Net &result)
template<typename ConstReferenceIterator >
void	Diades::Petri::automataConversion (ConstReferenceIterator begin, ConstReferenceIterator end, const SynchronisationRules &sync, Net &result)

Detailed Description

To convert a set of synchronised automata to a single Petri net.

Author

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

Date

Thu May 2 15:36:12 2013

Definition in file AutomataConversion.hh.