一类带有限制向量的时延离散Petri网  

Formal Analysis of a Class of Equivalent Timed Discrete Petri Nets

作　　者：吕莉芳[1] 李承家[1] 薛瑜[1] 

机构地区：[1]杭州电子科技大学理学院,浙江杭州310018

出　　处：《杭州电子科技大学学报（自然科学版）》2012年第1期85-88,共4页Journal of Hangzhou Dianzi University：Natural Sciences

基　　金：国家自然科学基金资助项目(60934009)

摘　　要：在时延离散Petri网的基础上,该文给出了具有限制向量的时延离散Petri网模型,与时延离散Petri网等价但其标识维数减少。接着分析了该类Petri网运行规则,给出系统运行下标识的累加计算方法。最后,通过算例分析说明了累加算法的正确性与合理性。Based on original timed discrete Petri nets,an equivalent timed discrete Petri net is presented,which decreases the marking dimension greatly.Dynamic analysis of the Petri systems is presented and accumulation algorithms are obtained to compute dynamic evolution of systems marking.An example is given to illustrate validity and rationality of the above analysis approach.

关 键 词：佩特里网 时延离散佩特里网 激发量 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]