Package org.woped.qualanalysis.structure.components

Examples of org.woped.qualanalysis.structure.components.LowLevelNet


        AbstractPetriNetElementModel tStar = addTStar();
        HashSet<AbstractPetriNetElementModel> transitionsWithTStar = new HashSet<AbstractPetriNetElementModel>(m_transitions);
        transitionsWithTStar.add(tStar);

        // Detect all PT handles in the short-circuited net
        LowLevelNet myNet = CreateFlowNet(m_places, transitionsWithTStar);
        Set<Set<ClusterElement>> handleRun = getHandlePairs("PT", myNet, m_places, transitionsWithTStar, false);

        for (Iterator<Set<ClusterElement>> i = handleRun.iterator(); i.hasNext();) {
            Set<ClusterElement> currentSource = i.next();
            Set<AbstractPetriNetElementModel> current = new TreeSet<AbstractPetriNetElementModel>(new PTHandleComparer());
View Full Code Here


        AbstractPetriNetElementModel tStar = addTStar();
        HashSet<AbstractPetriNetElementModel> transitionsWithTStar = new HashSet<AbstractPetriNetElementModel>(m_transitions);
        transitionsWithTStar.add(tStar);

        // Detect all PT handles in the short-circuited net
        LowLevelNet myNet = CreateFlowNet(m_places, transitionsWithTStar);
        Set<Set<ClusterElement>> handleRun = getHandlePairs("TP", myNet, transitionsWithTStar, m_places, false);

        for (Iterator<Set<ClusterElement>> i = handleRun.iterator(); i.hasNext();) {
            Set<ClusterElement> currentSource = i.next();
            Set<AbstractPetriNetElementModel> current = new TreeSet<AbstractPetriNetElementModel>(new TPHandleComparer());
View Full Code Here

    // ! from given sets of places and transitions
    // ! @param places Specifies the set of places to be used
    // ! @param transitions Specifies the set of transitions to be used
    // ! @return LowLevelNet structure
    private LowLevelNet CreateFlowNet(Set<AbstractPetriNetElementModel> places, Set<AbstractPetriNetElementModel> transitions) {
        m_lolNet = new LowLevelNet();
        for (Iterator<AbstractPetriNetElementModel> i = places.iterator(); i.hasNext();) {
            ExpandAndAddNode(m_lolNet, i.next());
        }
        for (Iterator<AbstractPetriNetElementModel> i = transitions.iterator(); i.hasNext();) {
            ExpandAndAddNode(m_lolNet, i.next());
View Full Code Here

    // ! where we want to analyze a van der Aalst net
    // ! @param places Specifies the set of places to be used
    // ! @param transitions Specifies the set of transitions to be used
    // ! @return LowLevelNet structure
    private LowLevelNet CreateAalstFlowNet() {
        m_lolNet = new LowLevelNet();

        List<AbstractPetriNetElementModel> rootElements = m_currentEditor.getModelProcessor().getElementContainer()
                .getRootElements();
        for (Iterator<AbstractPetriNetElementModel> i = rootElements.iterator(); i.hasNext();) {
            ExpandAndAddNode(m_lolNet, i.next());
View Full Code Here

        // handles in the short-circuited net
        AbstractPetriNetElementModel tStar = addTStar();
        HashSet<AbstractPetriNetElementModel> transitionsWithTStar = new HashSet<AbstractPetriNetElementModel>(m_transitions);
        transitionsWithTStar.add(tStar);

        LowLevelNet myNet = useVanDerAalstNet ? CreateAalstFlowNet() : CreateFlowNet(m_places, transitionsWithTStar);
        detectHandles(myNet, useVanDerAalstNet);

        // Remove temporary transition from the net
        if (tStar != null) {
            removeTStar(tStar);
View Full Code Here

TOP

Related Classes of org.woped.qualanalysis.structure.components.LowLevelNet

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.