基于Petri网语言的系统设计与分析  

Design and Optimalization of System Based on Language of Petri Net

作　　者：蒋昌俊[1] 郑应平[2] 疏松桂[2] 

机构地区：[1]山东矿业学院 [2]中国科学院自动化所

出　　处：《通信学报》1997年第1期27-33,共7页Journal on Communications

基　　金：国家自然科学(重点)基金;中国博士后基金;山东省自然科学基金;中科院复杂系统工程学实验室基金;东南大学国家教委网络实验室基金

摘　　要：本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较。In this paper, the design methods of system are studied. The design theories are presented. The concept of net synchronous composition is established and the composition net language, the condition for system liveness are discussed. Then these theorems can be used not to preserve properties but also to make liveness in system composition. Thus an efficient method for system design, analysization and control is obtained. In terms of comparing for behaviors and performances of system, the good design policy is selected.

关 键 词：并发系统 PETRI网语言 模型 建模 数字网 

分 类 号：TN913.24[电子电信—通信与信息系统]