进程网的细化及语义等价研究

《进程网的细化及语义等价研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、＇节＇■－；：＾心万＞巧著苗巧：片ｖ’？减安辛：載章站巧黎終－？＂片．．？■＾＂．－巧？；．／／．－ｒ？一作：．ＶＡ：＼．．＇＇．＇．．．．＇．Ｉ＇＾＾１．．＇：‘．’；，＇；打石：＇：：．．．Ｖ１；．冉ｖ／：：：．．．．巧巧和＇．－＇＇．．■＇＇；解■■定社辟；Ｖ嫌．．叫玲Ｖ糸－髮婦戀緊少乂《．葦纖．－午．、产ｒ心．．Ｉ；一之知诗Ｖ．．－Ｖ’’＂’＇，’＇’－－．．、｜一＇？＇＊＇＇２；＾、，ｙ．．：巧，硕±研究生学位论文：馬：’’＆灣績

2、與３；；慕譯拳辑，．馨謬翊ｉｉｉｉ’‘＾进程网的细化及语义等价硏究——＇＇Ｔ：：ｒ；／点茄？＞巧海，八；‘．＂；．．＾＾：苗：．，．；＾＾．＾点：货巧乂：抵，讓矣叫诏级南巧；谋祭热乎敬淺皆．：與，．，坦哲户；＾．．讀七策弟’—‘Ｌ＾？；ｔ；二Ｖ．－＇心．；．弄学生，姓．卷、磊縣巧话规增愈靖—：，２６１３３０９０４０１０１．ｙ；学号０？＂＇＇Ｉ於．强巧的店奋茄兵？可江号讳封’－；；■；学科（专业学位）；；攝鑛猶謬．巧算化技术礙枯縣ｉ’—＇■＇，一－紙廷Ｅ拽护

3、ｖｃ＇．ｙ１、＇、？．？．．询？；研究方．数据处理技术与软件服务，＾＾―—‘＞＾：，．，、；％会群郭條喔ｉｉｌｌｉｉ：Ｙ，师＇＾．、Ｔ校外导师，乂；：ｙａ；王化来一ｐ議７薩麵議議｜＾画戀Ｉ馨難覇讓議慕！彎費誦＾＇、＇、’、‘‘、只＇吁产？．－Ｋ一歴化ｖ如；ｖ，Ｖ．．．．、北方工业大学学位论文顯樓声明本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独立进行研究工作所取得的成果。除文中已经注明引巧的内容外，本论文不含任何其他个人或集体已经发表或撰写过的作品成果。对本文的研究做出重要贡献的

4、个人和集体，均已在文中Ｗ明确方式标明。本人完全意识到本声明的法律结果由本人承担。＊学位论文作者签名：日期：式？《年《月日７学位论文使用授权书学位论文作者完全了解北方工业大学有关保留和使用学位论文的规定，良：。学Ｐ研究生在校攻读学位期间论文工作的知识产权单位属北方工业大学校有权保留并向国家有关部口或机构送交论文的复印件和电子版，允许学位论文被查阅和借阅；学校可公布学位论文的全部或部分内容，可允许采用影印、缩印或其它复制手段保存、汇编学位论文（保密的学位论文在解密后适用于本授权书）。□保密论文注释：经本人申请，

5、学校批准，本学位论文定为保密论文，密级：，期限：年，自年月日起至年月日止，解密后适用本授权书。＊密论文注释；本学位论文不属于保密范围ＷＮ，适用本授权书。本人签名：許禹日期：化６巧７耳导师签名：苍ｉ良日期：Ｌ＾弓进程网的细化及语义等价研究摘要ｒｏｃｅｔ一进程网（ＰｓｓＮｅ）是种结合进程代数和Ｐｅ化ｉ网理论的Ｐｅｔｒｉ网模型。进程网系统模型在实际应用中，当系统过于复杂时，会遇到节点爆炸的问题，此时需要引入层次结构。提出了层次结构的进程网，给出了层次进程网的建模过程和实现算法，。解决了大的复杂

6、系统建模和状态空间爆炸问题可１＾清楚地反映出模型的层次，便于对进程网进行细化得到准确的模型，也便于用逐步求精、自顶＜向下的方法对被模拟系统进行建模，帮助用户实现各种粒度的仿真服务。在用进程网建模时，最初模型比较粗趟。为了建立系统精确的抽象模型，降低大系统建模和分析的复杂性，提出了进程网的细化。进程网的细化是在较高的一抽象层次上通过替换一的组件些单（比如变迁）形成较为详细的子网。定义了基于进程网的五大细化规则：子网细化，同步细化，选择细化，循环细化，通信细化规则。实现了基于层次进程网的分层细化。实验表明，进程网的细化反映

7、模型的层次关系一，为结构复杂的系统仿真提供了个有效的方法。细化有助于系统抽。象模型的分析，解决状态空间爆炸问题，提高了进程网建模描述能力语义等价研究分为语义等价和语义等价保持。用进程网的合理性定义和充分必要条件对细化规则的合理性进行了验证。分析了细化规则的可达图，来说明细一些性质保持化后的网系统的。根据互模拟的性质和定义对细化规则从弱互模拟性和强互模拟性进行验证。最后结合订票系统进行了实例建模分析。实验结果表明进程网的分层选中Ｗ及细化都可Ｗ实现，并且能够清晰的反映出网系统的层次结构。关键词：进程网，层次结构，细化

8、，细化规则，语义等价，互模拟ＩＲｅｓｅａｒｃｈｏｎＲｅｆｉｎｅｍｅｎｔａｎｄＳｅｍａｎｔｉｃｅｕｉｖａｌ