Modelling and simulation of manufacturing systems with first-order hybrid Petri nets

First-order hybrid Petri nets are models that consist of continuous places holding fluid, discrete places containing a non-negative integer number of tokens, and transitions, either discrete or continuous. In the first part of the paper, we provide a framework to describe the overall hybrid net behaviour that combines both time-driven and event-driven dynamics. The resulting model is a linear discrete-time, time-varying state variable model that can be directly used by an efficient simulation tool. In the second part of the paper, we focus on manufacturing systems. Manufacturing systems are discrete-event dynamic systems whose number of reachable states is typically very large, hence approximating fluid models have often been used in this context. We describe that net models of the elementary components of a flexible manufacturing system (machines and buffers) and we show in a final example how these modules can be put together in a bottom-up fashion.