A modular representation of fluid stochastic petri nets
Fernando J. Barros · 2015
In this paper we develop a modular representation of Fluid Stochastic Petri Nets (FSPNs) using the Hybrid Flow Systems Specification (HFSS), a formalism that combines the concepts of sampling and discrete events to describe hybrid systems. We show that HFSS provides a sound representation of FSPNs supporting a direct mapping between FSPNs elements and HFSS components. FSPNs can be modeled by a composition of HFSS components preserving the structure of the original FSPNs, removing the need for a model transformation layer to simulate FSPNs, or making it easy to develop such a mapping mechanism. We show that the continuous flow representation used by HFSS enables an efficient simulation of FSPNs. Simulation results are presented for a simple manufacturing system with machines subjected to breakdowns.