Algebraic Models for Timed Petri Net Based DEDS
基于时延Petri网的DEDS的代数模型

Structurally no-competing timed Petri nets and a kind of competing Petri nets concerned in this article are more general classes of DEDS. However, there is not a suitable model for these systems. In this article, various definitions of timing in Petri nets are unified, and then with the operator newly proposed by the authors,time domain dynamic equations are built for, which provide fundamental tools for further research of these classes of DEDS.