论文部分内容阅读
介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法。该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性且易于维护，是一种具有数学和图形方式相结合的形式化描述。
一种基于面向对象Petri网的并发程序建模方法
【摘 要】
：
介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法。该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具
【机 构】
：
北京航空航天大学
【出 处】
：
北京航空航天大学学报
【发表日期】
：
1998年4期
【基金项目】
：
航空科学基金
其他文献
百日草(Zinnia elegans),菊科,百日草属,别名步步高、鱼尾菊、百日菊,系1 a生草本花卉.百日草茎直立,全株有绒毛,株高30～120 cm,叶对生、基部抱茎、卵形、卵圆形、椭圆形至长
通过在一台实验用对旋风机上的大量性能实验，比较分析了对旋风扇在不同转速比匹配和不同轴向间隙条件下的特性曲线和失速边界的变化，并通过用球头五孔压力探针对其级间稳态流场
面对数量和体积急剧增长的产品设计信息，企业必须加强产品数据信息管理，尽管从不同的产品数据管理的观点看，有不同的产品数据管理系统，但仍然有一些基本特性是一致的，总结并提出了
野生山薯又称野淮山,属多年生宿根植物.与栽培的菜用淮山相比,野生山薯块茎较扁圆,表面密生须根,肉质白色,紧密,富含淀粉,煮食别有风味,还可入药.深受消费者欢迎.一般667 m2
脆皮金桔是桂林灵川县的主栽柑桔品种之一,近两年来发展迅猛,2004年全县种植面积已接近1300hm2.秋季是金桔根系生长的第二、三次高峰期和秋梢生长期,搞好了秋季管理,就为明、
控制决策方法是飞机综合控制系统根据空战对策状态、双方的运动及性能参数等信息产生出机动策略的一种数学方法，是飞机综合控制系统决策层数学模型的重要组成。以空战攻防力学
由于避免了插值计算，在大前视角和大范围成像时，ｃｈｉｒｐ－ｓｃａｌｉｎｇ算法的性能优于距离－多普勒算法。自聚集算法在ＳＡＲ成像处理中通常是必不可少的，但是现有的自聚焦算法几乎都是与ＲＤＡ相结合的。本文提出了