摘要
本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较。
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.
出处
《通信学报》
EI
CSCD
北大核心
1997年第1期27-33,共7页
Journal on Communications
基金
国家自然科学(重点)基金
中国博士后基金
山东省自然科学基金
中科院复杂系统工程学实验室基金
东南大学国家教委网络实验室基金
关键词
并发系统
PETRI网语言
模型
建模
数字网
concurrent systems, Petri net language, model, modelling, analysis, control, optimal selection
