RealTimeSystemPattern.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__REALTIMESYSTEMPATTERN__HH__
#define __DIADES__PETRI__REALTIMESYSTEMPATTERN__HH__

#include<diades/petri/LabelledPrioritizedTimeNet.hh>
#include<diades/petri/RealTimeSystem.hh>
#include<diades/petri/Pattern.hh>

namespace Diades
{

        namespace Petri
        {

                class RealTimeSystemPattern : public RealTimeSystem
                {
                protected:
                        vector<Marking> _finalMarkings;
                        vector<Place> _nonAdmissibleSystemPlaces;
                        //vector<Place> _nonAdmissiblePatternPlaces;


                public:

                        RealTimeSystemPattern(const RealTimeSystem & system,
                                                                const Pattern & pattern);
                protected:

                        void copyPlaces(const BoundedNet & net,
                                                        RealTimeSystemPattern::PlaceIterator first,
                                                        RealTimeSystemPattern::PlaceIterator end,
                                                        const string & prefix,
                                                        unordered_map<Place, Place> & mapping);



                        void setFinalMarkings(const vector<Marking> & patFinalMarkings,
                                                                unordered_map<Place, Place> & mapping);

                        void copySystemTransitions(const RealTimeSystem & system,
                                                                        unordered_map<Place, Place> & mappingSystem,
                                                                        unordered_map<Transition, Transition> & mappingTransitionSystem,
                                                                        const Pattern & pattern,
                                                                        unordered_map<unsigned, std::vector<size_t> > & decomposedTransitionsForEvent);

                        void
                        computeTransitionProducts(const RealTimeSystem & system,
                                                                        const Pattern & pattern,
                                                                        const unordered_map<Place, Place> & mappingPattern,
                                                                        const unordered_map<unsigned, std::vector<size_t> > & decomposedTransitionsForEvent);

                public:

                        const vector<Marking> &
                        finalMarkings() const
                        {
                                return _finalMarkings;
                        }

                        const vector<Place> &
                        nonAdmissibleSystemPlaces() const
                        {
                                return _nonAdmissibleSystemPlaces;
                        }

        //              const vector<Place> &
        //              nonAdmissiblePatternPlaces() const
        //              {
        //                      return _nonAdmissiblePatternPlaces;
        //              }
                };

        }
}

#endif /* __DIADES__PETRI__REALTIMESYSTEMPATTERN__HH__ */