Package org.woped.qualanalysis.structure.components

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

554
555
556
557
558
559
560
561
562
563
564
        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
592
593
594
595
596
597
598
599
600
601
602
        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
642
643
644
645
646
647
648
649
650
651
652
    // ! 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
678
679
680
681
682
683
684
685
686
687
688
    // ! 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
892
893
894
895
896
897
898
899
900
901
902
        // 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

  • org.woped.qualanalysis.structure.StructuralAnalysis
    • 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.