摘要
着色Petri网是在经典Petri网理论基础上增加了token类型和网的模块这两个功能,它现在已成为一种较完善的语言,可以用来对各种系统规范和协议等进行设计、规范描写、仿真和验证等。文章对着色Petri网的基本理论进行了简单介绍,并对一个简单的通信协议进行建模和分析,提出了今后着色Petri网发展的一个主要方向。
The Colored Petri nets theory is based on the classical Petri nets,which has increased the token type and the network module.Now it has become a more complete language,it can be used on a variety of system design specifications and agreements,norms description,simulation and verification and so on.In this paper,the basic theory of colored Petri net for a brief introduction,and a simple communication protocol modeling and analysis,pointed out the shortcomings of this model,suggest improvements,and proposed the development of the future colored Petri nets as a major direction.
出处
《电脑与信息技术》
2010年第5期29-31,34,共4页
Computer and Information Technology
