PFS/PN Technique to Model Industry 4.0 Systems Based on RAMI 4.0

The Industry 4.0 is changing the scenario of production systems by the information and communication technologies (ICT), Cyber-Physical Systems (CPS), Internet of Things (IoT) to provide on-demand and personalized goods and services. In this context, to guide the development of Industry 4.0 systems was designed a reference architecture model for Industry 4.0 (RAMI 4.0). However, the RAMI 4.0 is in early stage, consequently requiring formal techniques to model and specify the components involved in Industry 4.0 systems. Therefore, this paper introduces the use of the formal technique derived from Petri net (PN) called Production Flow Schema (PFS) as a procedure for the analysis and specification of the parts that compose RAMI 4.0. To exemplify the proposal effectiveness, a modular productive system (MPS) is used as an application case.