生产者-消费者系统的建模与行为分析方法研究

Modeling and Behavior Analysis for Producer-Consumer System

生产者-消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者-消费者系统建模,借助基于库所指标的Petri网分解方法来分析生产者-消费者的系统行为,利用Petri网语言的同步混排运算给出了生产者-消费者系统的行为描述,对基于Petri网的系统分析提供了有效的方法。

Producer-consumer system is a typical system. In this paper, we study the methods of modeling and behavior analysis for the producer-consumer system based on Petri net. With the decomposition method of Petri net based on the index function on the place set and the synchronization shuffle of Petri net languages, we present the methods of expressing the behaviors of the producer-consumer system. The methods and results presented benefit the analysis of complex physical systems based on Petri net.