在时延离散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.
展开▼