Petri网理论及其在食品工业中的应用

Petri net theory and its application in food industry

Ｐｅｔｒｉ网是用于描述和分析异步并发系统的最常用的形式模型之一．本文给出了赋时着色Ｐｅｔｒｉ网和赋时连续Ｐｅｔｒｉ网，通过扩展上述模型，得到具有层次的Ｐｅｔｒｉ网．探讨了层次结构Ｐｅｔｒｉ网在现代食品工业企业中的应用，包括生产线的建模和分析，以及后勤系统的设计．

Petri nets are one of the most popular formal models for the representation and analysis of asynchronous concurrent systems. Timed coloured Petri nets and timed continuous Petri nets are presented here.Petri nets with hierarchy are developed based on extending the above models.In this paper, the application of hierarchy construct Petri nets in modern food industry companies is discussed, which includes the modelling and analysis of production lines and the design of logistics systems.