【摘要】 Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.更多还原

【Abstract】 Petri nets is a useful tool for system analysis and design,and it is widely used in system test.By using of the characters of safe Petri nets,a place invariant generation algorithm which uses the reachability tree of safe Petri nets and complete graph of mth order with self-loop is presented.更多还原