System.hh

Go to the documentation of this file.

#ifndef __DIADES_PETRI_SYSTEMS__HH__
#define __DIADES_PETRI_SYSTEMS__HH__

#include<diades/petri/DdNet.hh>


namespace Diades
{
        namespace Petri
        {

                class System : public DdNet
                {
                public:

                        System() : DdNet()
                        {
                        }


                        void system2Dot(const string & fileName) const;
                        
                        //virtual Marking& newFinalMarking();

                        
                };



        };
};









#endif