DianaPetriNet.hpp

#ifndef DIANA_PETRINET_H
#define DIANA_PETRINET_H

#include <CapeOpen.hpp>
#include <Basic/DianaBasic.hpp>
#include <Diana/IDianaPetriNet.hpp>


namespace Diana {
        
  class PetriNet;
  class PetriTransition;
  class DianaDAESO;
  class IDianaNumericDAESolver;

  typedef void (DianaDAESO::*CharFunction)();

    
  
  class PetriPlace : public virtual DianaParameter,
                     public virtual IDianaPetriPlace {
  public:
    PetriPlace(Common::Types::CapeString _name, 
               CharFunction _charFunc,
               CharFunction _forkFunc,
               PetriNet* _net,
               CapeBoolean _isFork,
               const PtrData& _ptrInternal
               );

    Common::Types::CapeBoolean GetMark() ;

      virtual void SetMark(Common::Types::CapeBoolean mark) 
          throw (ECapeUnknown, ECapeInvalidArgument);
      void SetValue(const Common::Types::CapeVariant& _value)
          throw (ECapeUnknown, ECapeInvalidArgument);

      Common::Types::CapeString GetName();


    void AddIndex(Common::Types::CapeLong *indexPtr, Common::Types::CapeLong indexValue);
      CharFunction GetCharFunc() const;
      CharFunction GetForkFunc() const;
      Common::Types::CapeBoolean IsFork() const;
      void RestoreIndices() const;
      void addActivateTransition(PetriTransition* _trans);

  private:
    PetriNet* net;                                    
    const CapeBoolean isFork;                             
    CharFunction charFunc;                            
    CharFunction forkFunc;                            
    std::vector<Common::Types::CapeLong*> indexPtrs;  
    std::vector<Common::Types::CapeLong> indexValues; 
      std::vector<PetriTransition*> activateTransitions;
  };
  
  class PetriTransition : virtual public IDianaPetriTransition,
                          virtual public DianaParameter{
  public:
    PetriTransition(Common::Types::CapeString name, 
                    PetriNet* net, 
                    Common::Parameter::CapeParamMode _mode=Common::Parameter::CAPE_INPUT_OUTPUT,
                    const PtrData& _ptr=PtrData());
    Common::Types::CapeString GetName();

    Common::Types::CapeDouble GetPhiValue() const throw (Common::Error::ECapeUnknown);
    void AddLinksTo(PetriPlace* place);
    void AddLinksFrom(PetriPlace* place);
    void setTransFlag(Common::Types::CapeBoolean flag);
    void CheckTransition();
    void Switch();
    Common::Types::CapeBoolean CanSwitch();
    void SetPhiIndex(int index);
    int GetEventTimeIndex() const;
    void SetEventTimeIndex(int index);
    int GetPhiIndex() const;
    void SetTimeDelay(Common::Types::CapeDouble timeDelay);
    Common::Types::CapeDouble GetNextSwitching();
      Common::Types::CapeDouble GetTimeDelay();

      Common::Types::CapeBoolean IsExplicit();

      Common::Types::CapeBoolean Activate();

      const std::vector<PetriPlace*>& GetFromPlaces();
      const std::vector<PetriPlace*>& GetToPlaces();
  private: 
      PetriNet* net;                          
      Common::Types::CapeBoolean transFlag;
      std::vector<PetriPlace*> linksTo;       
      std::vector<PetriPlace*> linksFrom;     
      int phiIndex;                           
      int eventTimeIndex;                   
  };

  class PetriNet : virtual public IDianaPetriNet {
  public:
    PetriNet(DianaDAESO *eso);
    virtual ~PetriNet();
    DianaDAESO *GetESO() const;
    void AddPlace(PetriPlace* place);
    void AddTransition(PetriTransition* transition);
      Common::Types::CapeBoolean Switch(const Common::Types::CapeArrayLong& indices);

      Common::Types::CapeBoolean shouldFork();

      void afterFork(const Common::Types::CapeArrayLong& phiIndices, Common::Types::CapeBoolean isDaughter);
      Common::Collection::ICapeCollection* GetPlaces();
      Common::Collection::ICapeCollection* GetTransitions();
      void setShouldFork(CapeBoolean state=true);
        Common::Types::CapeArrayBoolean getState();

        void setState(const Common::Types::CapeArrayBoolean& state);


      Common::Types::CapeDouble GetNextExplicitTime() const;

      CapeBoolean isDaughter();
      CapeBoolean inAfterFork();
      virtual CapeLong    getForkIndex(); 

      virtual const CapeArrayDouble& GetStoredPhi() const;
      virtual void SetStoredPhi(const CapeArrayDouble& phi);

  private:
    DianaDAESO *eso;
    Diana::DianaCollection collPlaces;
    Diana::DianaCollection collTransitions;

    CapeBoolean _shouldFork;
    CapeBoolean _afterFork; 
    CapeBoolean _isDaughter;
      CapeLong forkIndex, currentIndex;
      CapeArrayDouble arrStoredPhi;
  };
 
}
#endif //DIANA_PETRINET_H