本文整理汇总了Java中org.jbpt.petri.INetSystem.removeTransition方法的典型用法代码示例。如果您正苦于以下问题：Java INetSystem.removeTransition方法的具体用法？Java INetSystem.removeTransition怎么用？Java INetSystem.removeTransition使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.jbpt.petri.INetSystem的用法示例。
在下文中一共展示了INetSystem.removeTransition方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: isSoundWorkflowNet
import org.jbpt.petri.INetSystem; //导入方法依赖的package包/类
@Override
public boolean isSoundWorkflowNet(INetSystem<F,N,P,T,M> sys) {
if (sys==null) return false;
PetriNetStructuralChecks<F,N,P,T> check = new PetriNetStructuralChecks<F,N,P,T>();
boolean wf = check.isWorkflowNet(sys);
if (!wf) return false;
P i = sys.getSourcePlaces().iterator().next();
P o = sys.getSinkPlaces().iterator().next();
for (P p : sys.getPlaces()) {
if (p.equals(i)) {
if (sys.getMarking().get(p)!=1) return false;
} else {
if (sys.getMarking().get(p)!=0) return false;
}
}
T t = sys.createTransition();
t.setName("TEMP");
sys.addTransition(t);
sys.addFlow(o,t);
sys.addFlow(t,i);
boolean result = true;
if (!this.isBounded(sys)) result = false;
if (result)
if (!this.isLive(sys)) result = false;
sys.removeTransition(t);
return result;
}