TimePetriNet.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__TIMEPETRINET_HH_
#define __DIADES__PETRI__TIMEPETRINET_HH_

#include <sstream>
#include <utils/Interval.hh>
#include "PetriNet.hh"


namespace Diades
{
  using namespace Utils;

namespace Petri
{


class TimePetriNet : public Petri::PetriNet
{

private:
        Graph::NodeMap< Interval > _time;


public:
        TimePetriNet():PetriNet(),
        _time(_graph,0,Interval(0,"+oo")){}
    TimePetriNet(const TimePetriNet & p1, const TimePetriNet & p2,
                                 const set<Event> & synchronisation,bool strict = true):PetriNet(p1,p2,synchronisation,strict),
                                                                                                                                                _time()
  {
        _time.init(_graph,0,Interval(0,"+oo",false));
  }

        virtual ~TimePetriNet() {}

        Transition newTransition(const set<Place> & pre, const set<Place> & post,
                                                         const Event & event, const Interval & interval);
        Transition newTransition(const set<Place> & pre, const set<Place> & post,
                                                         const Event & event, const Interval & interval,
                                                         const string & label);

        const Interval & timeInterval(Transition t) const;
        void setInterval(Transition t, const Interval & interval);

        virtual void net2Dot(const string & fileName) const;
        virtual void net2Tina(const string & fileName) const;

        virtual void clear();

        virtual void tina2Net(const string & fileName);

        virtual void deleteTransition(Transition t)
        { _time[t] = Interval(); PetriNet::deleteTransition(t); }

        virtual Transition duplicateTransition(Transition t)
        {
                Transition result = PetriNet::duplicateTransition(t);
                _time[result]=_time[t];
                return result;
        }
};

};
};

#endif /*TIMEPETRINET_HH_*/