摘要
Petri网是一种适合于描述异步并发现象的计算机系统模型。本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性。本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法。
Petri net is a kind of modeling being fit for describing asynchronous and intercurrent phenomenon. Petri net analytic technique can be applied to static structure, as well as can be applied to dynamic structure. It is the most suitable for expressing the parallelism and the relativity between events. The article research the method about dynamic modeling based on Petri net using an typical example.And the universal method about dynamic modeling has been given.
出处
《计算技术与自动化》
2004年第2期59-62,86,共5页
Computing Technology and Automation
基金
湖南省自然科学基金(01JJY2061)
湖南省教育厅科研基金(01C306)资助。
