| Signal语言对扩展型Petri网的分析 |
| |
| 引用本文： | 何苇,吴智铭.Signal语言对扩展型Petri网的分析[J].上海交通大学学报,1996,30(9):57-62. |
| |
| 作者姓名： | 何苇 吴智铭 |
| |
| 摘 要： | 为了解决现有Ｐｅｔｒｉ网分析工具（可达性树和矩阵方程）不能很好对扩展型Ｐｅｔｒｉ网进行分析的问题，提出用Ｓｉｇｎａｌ语言对扩展型Ｐｅｔｒｉ网进行分析的方法．Ｓｉｇ－ｎａｌ语言不仅能够解答扩展型Ｐｅｔｒｉ网安全性、有界性等问题，还能够直观地表示扩展型Ｐｅｔｒｉ网中各变量之间的约束关系及特性，更好地揭示网络的动态变化行为．
|
| 关 键 词： | Petri网 Signal语言 有限域 同步语言 |
An Analysis of Extended Petri Nets with Signal Language |
| |
| He Wei,Fu Zhiming.An Analysis of Extended Petri Nets with Signal Language[J].Journal of Shanghai Jiaotong University,1996,30(9):57-62. |
| |
| Authors: | He Wei Fu Zhiming |
| |
| Institution: | Department of Automation |
| |
| Abstract: | To solve the problem that the present tools for analysing Petri nets cannot analyse the extended Petri nets, this paper proposes the method of analysing extended Petri nets with the Signal language. The Signal language can not only answer the problems of safety and boundness of Petri nets, but also intuitively display all kinds of variables in the restrictive relation and property of Petri nets so that the behavior of nets in dynamic change can be better revealed. |
| |
| Keywords: | extended Petri nets Signal language finite field synchronous language |
| 本文献已被 CNKI 维普 等数据库收录！ |
