| 一种面向对象Petri网模型的语义和行为分析 |
| |
| 引用本文： | 杨武,李晓渝,曹泽瀚.一种面向对象Petri网模型的语义和行为分析[J].计算机科学,2005,32(10):219-221. |
| |
| 作者姓名： | 杨武 李晓渝 曹泽瀚 |
| |
| 作者单位： | [1]重庆工学院计算机系,重庆400050 [2]重庆大学计算机学院,重庆400044 |
| |
| 摘 要： | 面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型（Object-Oriented Petri Net,OOPN）,给出了OOPN的基本定义和图形表示,并对OOPN进行了语义与行为分析.OOPN能够成为面向对象系统的一种形式化的建模工具.
|
| 关 键 词： | Petri 面向对象 建模 Petri网模型 面向对象思想 行为分析 语义 面向对象Petri网 面向对象系统 OOPN 图形表示 基本定义 |
The Semantic and Behavioral Analysis of an Object-Oriented Petri Nets Model |
| |
| YANG Wu, LI Xiao-Yu, CAO Ze-Han.The Semantic and Behavioral Analysis of an Object-Oriented Petri Nets Model[J].Computer Science,2005,32(10):219-221. |
| |
| Authors: | YANG Wu LI Xiao-Yu CAO Ze-Han |
| |
| Affiliation: | 1 Department of Computer Science, Chongqing Institute of Industry and Technology, Chongqing 400050;2 School of Computer, Chongqing University, Chongqing 400030 |
| |
| Abstract: | Based on the tight combination of Petri Net theory and Object-Oriented technology, a class of high-level Petri Nets named OOPN, i. e. Object-Oriented Petri Nets, is defined, with extensions to normal Petri Nets such as gates, place-token type mapping, polymorphous transitions and collective transitions. The basic definitions and graphical deno- tations are introduced. The semantic and behavioral analysis of OOPN is given. OOPN can be used as formal modeling tool for Object-Oriented System. |
| |
| Keywords: | Petri Objeet-Oriented Modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
