| Petri网语言的同步混排运算及在语言分析中的应用 |
| |
| 引用本文： | 曾庆田.Petri网语言的同步混排运算及在语言分析中的应用[J].系统工程学报,2005,20(5):492-496,503. |
| |
| 作者姓名： | 曾庆田 |
| |
| 作者单位： | 山东科技大学计算机科学与技术系,山东青岛266510 |
| |
| 基金项目： | 国家自然科学基资助项目（60173053;60274063）;山东省中青年科学家科研奖励基金资助项目（02BS609）. |
| |
| 摘 要： | Petri网语言是用于系统行为分析的有力工具，利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为．为此，引入Petri网语言同步混排运算，并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系，分析了Petri网语言的同步混排运算的作用和意义，在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法．
|
| 关 键 词： | Petri网 同步混排 Peteri网语言 分解 同步合成 |
| 文章编号： | 1000-5781（2005）05-0492-05 |
| 收稿时间： | 2003-06-02 |
| 修稿时间： | 2003-06-022005-03-14 |
Synchronized shuffle operation of Petri net languages and its applications in analysis for language behaviors |
| |
| ZENG Qing-tian.Synchronized shuffle operation of Petri net languages and its applications in analysis for language behaviors[J].Journal of Systems Engineering,2005,20(5):492-496,503. |
| |
| Authors: | ZENG Qing-tian |
| |
| Institution: | Depatment of Computer, Shandong University of Science and Technology, Qingdao 266510, China |
| |
| Abstract: | Petri net languages are powerful and useful for properties analysis for Petri net. In order to express the languages of structure-complex Petri nets, a new operation for Petri net languages named synchronized shuffle is presented. By analyzing the properties of the languages during the composition and decomposition of Petri nets, it is proved that synchronized shuffle operation is important and valuable for the language properties analysis of Petri nets. With the results obtained, two methods to express the languages for structure-complex Petri nets are presented. |
| |
| Keywords: | Petri net synchronized shuffle Petri net language decomposition synchronous composition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
