%0 Journal Article
%T Extension and verification of Petri-net models<br>Petri网模型的扩展与检测
%A JIANG Yang
%A LUO Gui-ming
%A <br>姜洋
%A 罗贵明
%J 计算机应用
%D 2007
%I 
%X 扩展了基本Petri网,提出了更加适合模型检测的MCPN方法,并将MCPN模型转换成模型检测工具SPIN的输入语言--PROMELA.使用SPIN完成对系统模型的检测,以提高软件设计的可靠性.在转换过程中,考虑了对当前情态下处于激活状态的多个变迁的同时激发;并提出了一种处理Petri网公平性问题的解决方案.
%K Petri-net
%K model checking
%K PROMELA
%K fairness<br>Petri网
%K 模型检测
%K PROMELA
%K 公平性
%K Petri
%K 网模型
%K 扩展
%K 检测工具
%K models
%K verification
%K 方案
%K 问题
%K 公平性
%K 处理
%K 激发
%K 变迁
%K 激活状态
%K 转换过程
%K 软件设计
%K 系统模型
%K 使用
%K PROMELA
%K 语言
%K 输入
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=7EB4F89C56892AD6546401B85488B2B8&yid=A732AF04DDA03BB3&vid=DB817633AA4F79B9&iid=CA4FD0336C81A37A&sid=DD74772618543076&eid=D46BA3D3D4B3C585&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=6