%0 Journal Article
%T Algebraic Models for Timed Petri Net Based DEDS<br>基于时延Petri网的DEDS的代数模型
%A Zhao Zhengyi
%A Song Wenzhong
%A <br>赵正义
%A 宋文忠
%J 自动化学报
%D 1995
%I 
%X 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.
%K DEDS
%K timed Petri net
%K algebraic model<br>Petri网
%K 代数模型
%K 动态方程
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=A31528D9276D8EABA6E471DC7CB598B5&yid=BBCD5003575B2B5F&vid=659D3B06EBF534A7&iid=B31275AF3241DB2D&sid=00B9006659EBD8AC&eid=B3AAD7DC3C912B50&journal_id=0254-4156&journal_name=自动化学报&referenced_num=0&reference_num=2