| 本文已被：浏览 4682次 下载 5992次 |
码上扫一扫！ |
|
|
| 基于同步合成的结构复杂Petri网的行为描述 |
|
曾庆田1,2,3
|
|
1.中国科学院,计算技术研究所,北京,100080;2.山东科技大学,计算机科学与技术系,山东,泰安,271019;3.中国科学院,研究生院,北京,100039
|
|
| 摘要: |
| 首先分析了一类结构简单的Petri网-S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法. |
| 关键词: Petri网 S-网 Petri网语言 同步合成 同步交 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60173053, 60274063 (国家自然科学基金); the Excellent Young Scientist Foundation of Shandong Province of China under Grant No.02BS069 (山东省优秀青年科学家奖励基金) |
|
| Behavior Descriptions of Structure-Complex Petri Nets Based on Synchronous Composition |
|
ZENG Qing-Tian
|
| Abstract: |
| In order to specify the behaviors of structure-complex Petri nets, the concept of synchronous composition is extended and a method is presented, with which a given structure-complex Petri net can be obtained through the synchronous composition of a set of structure-simple Petri nets, namely S-nets. Firstly, the language characters of S-nets are analyzed with details and the methods to obtain their language expressions are presented. With the synchronous intersection operation of Petri net languages, the language relationships between the structure-complex Petri net and the set of S-nets can be expressed. Based on these works, an algorithm to specify the behaviors of Petri nets especially structure-complex systems is obtained. |
| Key words: Petri net S-net Petri net language synchronous composition synchronous intersection |
