Petri网可达图计算等相关理论和代码java

    /**
     * 用于生成给定节点的所有子节点:无需构造可达图即可得到
     * @param marking   给定节点
     * @return      返回子节点集合
     */
    public List<Marking> getChildMarking(Marking marking){
        if(marking == null){
            throw new RuntimeException("给定标识为空,无法生成子节点!");
        }
        //1.设置当前petri网的状态为marking
        petriNet.setState(marking);
        //2.得到当前状态下网系统的使能变迁集合
        Set<Transition> transitions = petriNet.getEnabledTransitions();
        ArrayList<Marking> childMarking = new ArrayList<>();//子节点集合
        //3.发射使能变迁得到当前标识(节点)对应的所有后继标识(子节点)
        if(transitions.isEmpty()){
            //log.error("当前状态下无使能变迁!");
            return childMarking;
        }
        //得到当前标识的id中的数字(比如M1中的1)
        int count = Integer.parseInt(marking.getId().substring(1));

        //4.发射使能变迁,得到后继标识

        for (Transition transition:transitions){
            //log.info(transition+"