Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems

The paper deals with the modelling and analysis of physical resilient manufacturing systems (RMS) specified by the interpreted Petri net. Nowadays a need to improve manufacturing resilience is evident due to several unexpected situations currently on the market. The production strategy of mass customization application of RMS on the physical layer enables quick and cost-effective reaction to changing market and social conditions. Such systems should be capable of operating under any changes in production. Therefore, in this paper, a novel modelling concept of Petri net-based physical RMS for mass customisation production is proposed. The idea is based on the interpreted Petri net, which permits for additional specification of input and output signals of the system. Moreover, such a net ought to be live and bounded (or even safe), therefore a boundedness and safeness verification algorithm is developed. The proposed techniques are illustrated by the real-life case-study example of a RMS at the physical layer operating according to a mass customisation production strategy.