排序方式： 共有1条查询结果，搜索用时 165 毫秒
1
1.
一种面向对象Petri网模型的语义和行为分析 总被引：3，自引：0，他引：3
面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型（Object-Oriented Petri Net,OOPN）,给出了OOPN的基本定义和图形表示,并对OOPN进行了语义与行为分析.OOPN能够成为面向对象系统的一种形式化的建模工具. 相似文献
1