全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

查看量下载量

相关文章

更多...

Extension and verification of Petri-net models
Petri网模型的扩展与检测

Keywords: Petri-net,model checking,PROMELA,fairness
Petri网,模型检测,PROMELA,公平性,Petri,网模型,扩展,检测工具,models,verification,方案,问题,公平性,处理,激发,变迁,激活状态,转换过程,软件设计,系统模型,使用,PROMELA,语言,输入

Full-Text   Cite this paper   Add to My Lib

Abstract:

扩展了基本Petri网,提出了更加适合模型检测的MCPN方法,并将MCPN模型转换成模型检测工具SPIN的输入语言--PROMELA.使用SPIN完成对系统模型的检测,以提高软件设计的可靠性.在转换过程中,考虑了对当前情态下处于激活状态的多个变迁的同时激发;并提出了一种处理Petri网公平性问题的解决方案.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133