原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Vol. 40 No. 11
计算机科学
第 40 卷第11 期
Computer Science Nov 2013
2013 年 11 月
基于冲突检测的一阶混杂 Petri 网动态行为演变方法
廖伟志M 李文敬3 陆建波3
(嘉兴学院数理与信息工程学院 嘉兴 314001) 1 (广西大学广西理工科学实验中心 南宁 530004)2
(广西师范学院计算机与信息工程学院 南宁 530023)3
摘 要讨论了基于冲突检测的一阶混杂 Petri 网动态行为演变方法，首先给出用于一阶混杂 Petri 网冲突检测的瞬
时迁移、延时迁移、指数迁移及区间速率连续迁移等 4 类迁移间的冲突判定定理;然后给出基于冲突检测的一阶混杂
Petri 网动态行为演变方法;最后通过混杂系统的一阶混杂 Petri 网模型说明冲突检测对行为演变分析正确性的重要
作用。
关键词 一阶混杂 Petri 网，冲突检测，动态行为演变，冲突消解
中圄法分类号 TP271 文献标识码 A
助namic Behavior Evolution for First-order Hybrid Petri Nets Based on Conflict ch配king
12 3
LIAO Wei-zhi . LI Wen-j ïng3 LU Jian-bo
(College of Mathematics Physics and Information Engineering ， Jiaxi鸣 University ， Jiaxing 314001 ,China)1
(Guangxi Experiment Centre of Science and Technology ,Guangxi University ,Nanning 530004 ,China)2
(Sch∞1 of Computεr and Information Engineering ,Guangxi Teachers Education University ,Nanning 530023 ,China)3
A恼缸ad The problern of dynarnic behavior evolution for a First-Order Hybrid Petri Nets(FOHPN) was discussed
The theorern to determine the conflict of a FOHPN was proposed firstly, Secondly , a dynamic behavior evolution for
FOHPN based on conflict checking and resolution was presented Finally ,through c在se study ,the effectiveness of the
developed approach was illustrated
K句W但由 First-order hybrid petri nets ,Conflict checking ,Dynamic behavior evolution ,Conflict resolution
射为 Petri 网的冲突，解决好冲突是正确分析模型动态行为的
引言
文档评论（0）