云彩店邀请码|半壳|优胜
Petri网是可实行的可视化建立模型谈话,是经过图形办法刻画异步并发体例的理念东西。因为其坚忍的数学普通、刻画动静体例动作时的大略性和精巧性以及对异步并发体例建立模型时宏大的展现和领会本领,进而获得了飞快的兴盛。正文鉴于北京宇航航天津大学学软硬件工程接洽所Petri网课题组提出的面向东西Petri网 (OOPN) ,对Petri网的表面与试验做了进一步接洽,重要处事犹如下几点:(1) 将面向东西的接受性、多态性引入到面向东西Petri网表面之华夏有的OOPN仅供给了面向东西的数据封装个性,而没有商量东西的接受性和多态性,所以控制了OOPN对搀杂体例的刻画本领。接受性、多态性的引入(适合人们的思想形式)不妨扶助体例建立模型职员更好地运用OOPN领会、笼统体例,进而贬低了巨型体例建立模型的搀杂性,同声减少了模子的复用性。引入上述个性后的面向东西Petri网表面具备了“东西间维持分别性的同声共享一致性”的建立模型本领。(2) OOPN元素考察权力的引入为了保护建立模型的安定性,在OOPN的流联系中介入了权力控制,即:元素间考察的遏制。制止了搀杂体例建立模型进程中违犯体例准则的题目。(3) 一种新的面向东西Petri网的接洽简单的面向东西构造格外严紧,但遗失了需要的精巧性和便利性。为了普及面向东西Petri网建立模型的精巧性和体例仿真的功效,正文当面向东西Petri网的构造举行了探究,提出了一种新的面向东西Petri网模子。同声,鉴于本质建立模型的商量,在这种新的面向东西Petri网表面中介入了对亚原子东西里面并发的扶助。正文给出了这种新的面向东西Petri网模子的死锁检验和测定算法。并鉴于此在从新结构后的OOPN-IDE东西中举行了实行。(4) OOPN-IDE东西的安排与实行在东西上面,本文华用开源的集成开拓情况Eclipse,鉴于开源框架GEF、EMF举行开拓,实行了东西构造的可扩充性。完备了重修后的OOPN-IDE建立模型模块,安排并实行了OOPN模子的死锁检验和测定模块和仿真模块。
来源:半壳优胜鲸鱼幸运星转载请保留出处和链接!
本文链接:http://87cpy.com/270665.html
本站部分内容来源网络如有侵权请联系删除