基于约束优化的Petri网可达性分析

基于约束优化的Petri网可达性分析

杨夏妮龙法宁张远夏

Reachability analysis of Petri net based on constraint optimization

YANG Xia'ni LONG Faning ZHANG Yuanxia

计算机应用 . 2013, (04): 1128 -1131 . DOI: 10.3724/SP.J.1087.2013.01128