| 抽象数据类型Petri-Net |
| |
| 引用本文： | 陈慧南.抽象数据类型Petri-Net[J].南京邮电大学学报(自然科学版),1990(4). |
| |
| 作者姓名： | 陈慧南 |
| |
| 作者单位： | 南京邮电学院计算机系 |
| |
| 摘 要： | Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础.
|
| 关 键 词： | 数据结构 通信协议 建立模型 Petri网 |
An Abstract Data Type:Patri-Net |
| |
| Chen Huinan.An Abstract Data Type:Patri-Net[J].Journal of Nanjing University of Posts and Telecommunications,1990(4). |
| |
| Authors: | Chen Huinan |
| |
| Institution: | Department of Computer |
| |
| Abstract: | Petri nets are a transition models, they describe a parallel, concurrent or non-deterministic system more naturally than finite state machines(FSM).The object of the system modeling is analyzing the behaviors of the system, we can do not only reachability analysis, but also linear algebra analysis, the later provides an effective way to analyze the properties of systems.In this paper, we design an abstract data type: Petri-net, it will be the basis of property analysis using petri nets. |
| |
| Keywords: | Data structure Communication protocol Model building Petri-net |
| 本文献已被 CNKI 等数据库收录！ |
|
