- 1、本文档共9页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
petri网的符号zbdd可达树分析技术 symbolic reachability analysis of petri nets using zbdds
报 v01.32
第32卷第12期 计 算 机 学 No.12
CHINESE OFCOMPUTERS Dec.2009
2009年12月 JOURNAL
Petri网的符号ZBDD可达树分析技术
李凤英”’2’ 古天龙2’ 徐周波”’2’
”(西安电子科技大学电子工程学院 西安 7l0071)
2’(桂林电子科技大学计算机学院广西桂林541004)
摘 要 Petri网是一种适合于并发系统建模、分析和控制的网形工具.可达树是Petri网分析的典型技术之一,它
通过标识向最集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策
Decision
图(zero-SuppressedBinary Diagrams,ZBDD)是一种新型的数据结构,是表示和处理稀疏向量集合的一种
Petri网分析的符号zBDD技术,该技术通过对标识
有效技术.文章基于Petri网町达标识向蜃的稀疏特征,给出r
向景(状态)的布尔向量表示、ⅡJ达标识向最(状态)的符号ZBDD牛成,实现Pet“网可达状态窄间的高效符号操作
和紧凑符号表示.实验表明,基于ZBDD的符号可达性分析算法能够有效处理较大规模Pet“网『口j题.
关键词 Petri网;零压缩二叉决策图;可达树;状态窄间
中图法分类号TP393 DoI号:10.3724/SP.J.1016.2009.02420
Nets
ofPetri ZBDDs
SymbolicReachabilityAnalysis Using
LI GU XUZhou—B01’’2’
Feng—Ying”·2’Tian—Lon92’
(E£Pc£roif Sf^oof,Xfdf口”U珂i口Prs“y,Xi,4竹7l0071)
EhginPPring
2’(S抽oof 541004)
o,co研户“fPrSciP打fP,G“fzf打踟iwrs的D,觑Pffro竹站nf^noZog,,G群iz锄,仇口行g“
con—
Abst船ctPetrinetisa mathematicalformalismsuitableto and
graph_based model,analyze
thebehaviorofdiscreteeventconcurrent treeisoneof tech—
trol Reachability
systems. typical
to Petrinets. concurrentoftensufferfromstatecombinatorialex—
niquesanalyze
您可能关注的文档
- mes填补信息鸿沟 mes closes information gap.pdf
- moodle系统中的教学评价.pdf
- mooc浪潮下新建本科院校计算机类人才培养模式的创新 innovation study of computer science talent training mode of new undergraduate colleges under the wave of mooc.pdf
- mpsqar无损语义的量化关联规则挖掘算法 mpsqar mining quantitative association rules without loss of semantics.pdf
- mscte评价crohn病活动度指数与harvey-bradshaw指数的相关性研究 correlation between mscteevaluation of crohn's disease activity index and the harvey-bradshaw index.pdf
- multicut问题参数算法的改进 improved parameterized algorithm for the multicut problem.pdf
- mrnn一种新的基于改进型递归神经网络的wsn动态建模方法应用于故障检测 mrnn a novel wireless sensor network dynamic modeling method for fault detection using modified recurrent neural network.pdf
- mri面向并行迭代的mapreduce模型 mria mapreduce model for parallel iteration.pdf
- m-精英协同进化数值优化算法 m-elite coevolutionary algorithm for numerical optimization.pdf
- n(2,2,0)代数的(,vq(λ,μ))-模糊正关联理想 (,vq(λ,μ))-fuzzy positive implicative ideal of n (2,2,0) algebra.pdf
- 分析let s单元56ago2卷纸zheng unit56.pdf
- 塑胶材料其它分类原料pa9t 12.pdf
- md16x16数字媒体切换器设备.pdf
- 者参考项目发起人学科类型单位序列承包商修订页代码顺序典型.pdf
- 届世界天然气大会阿姆斯特丹2006add10288.pdf
- 期测试记录表每周weekly g1g6 journeys tests level 6 lesson26.pdf
- modernize-whitepaper现代化您应用程序白皮书.pdf
- anybackup产品典型案例分析.pdf
- 约克金融工程课程tfeslide32.pdf
- 广州市妇女儿童医疗中心历份教学药历01tjy.pdf
文档评论(0)