| 基于Petri网的异步并发系统建模方法及应用研究 |
| |
| 引用本文： | 黄敏,张鹏丽. 基于Petri网的异步并发系统建模方法及应用研究[J]. 计算机工程与设计, 2006, 27(6): 973-975 |
| |
| 作者姓名： | 黄敏 张鹏丽 |
| |
| 作者单位： | 长沙理工大学,计算机与通信工程学院,湖南,长沙,410076;长沙理工大学,计算机与通信工程学院,湖南,长沙,410076 |
| |
| 摘 要： | 从Petri网的角度，异步并发是指两个或多个事件没有因果关系及由因果关系产生的顺序，与是否同时或是否有统一的时间控制没有关系，异步并发系统具有对称性、自返性而不具备传递性。其建模过程涉及到变迁发生的条件、结果以及是否存在冲突、冲撞等问题。用异步并发系统的建模方法改进Linux系统的队列数据结构，用Visobjnet＋＋软件进行模拟，并编程测试，得到了比原结构更高的效率。
|
| 关 键 词： | Petri网 异步并发系统 Linux 改进队列 建模 |
| 文章编号： | 1000-7024（2006）06-0973-03 |
| 收稿时间： | 2005-03-26 |
| 修稿时间： | 2005-03-26 |
Research application of modeling method for asynchronous simultaneously system based on petri net |
| |
| HUANG Min,ZHANG Peng-li. Research application of modeling method for asynchronous simultaneously system based on petri net[J]. Computer Engineering and Design, 2006, 27(6): 973-975 |
| |
| Authors: | HUANG Min ZHANG Peng-li |
| |
| Affiliation: | College of Computer and Communication, Changsha University of Science and Technology, Changsha 410076, China |
| |
| Abstract: | From petri net's angle,asynchronous simultaneously system is that two or more events haven't the relationship of cause and effect,and the sequence produced by them.It hasn't something to do with simultaneity and the same time control.It has the property of symmetry,returning itself,but not transmitting.Its method of modeling involves not only the conditions and results of translation,but also confliction and collision,etc.Its application of improved queue is simulated by Visobjnet ,programmed and is tested in Linux operation,and its efficiency is higher than the primary structure. |
| |
| Keywords: | Linux |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
