空标识可再生网的运算和性质分析

• 作 者: 叶剑虹 宋文 孙世新
• 机 构: 华侨大学计算机科学与技术学院,西华大学数学与计算机学院,电子科技大学计算机科学与工程学院
• 出 处: 计算机研究与发展
• 发表日期: 2009年8期
• 关键词: PETRI网 空标识可再生 运算 性质 算法 Petri nets reproducibility of empty marking operation pro
• 基金项目: 国家自然科学基金项目（60473030）,四川省教育厅应用基础基金项目（08ZA029）致谢在此,向中国科学院数学与系统科学研究所陆维明研究员、中国科学院软件研究所焦莉研究员、荷兰埃因霍温理工大学（Eindhoven University of Technology,the Netherlands）W.M.PvanderAalst教授表示感谢,他们给本文提出了重要的修改意见.同时,感谢审稿人详细的

Lautenbach等人曾给出了一般网空标识可再生（reproducibility of the empty marking）的充要条件，证明了一个网是空标识可再生的，必须存在含有源（fact）和汇（goal）变迁的非负T-不变，且由该T-不变所组成的变迁外延子网既不合有死锁（siphon），也不合有陷阱（trap）．扩展了这个结论，证明了经合成、插入、删除、替换等运算后的网仍保持空标识可再生性．还进一步证明了空标识可再生网的逆网也是空标识可再生的；无环空标识可再生Horn网的T-不变一定可实现；一个含有