Abstract:
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 ...Show MoreMetadata
Abstract:
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.
Published in: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)
Date of Conference: 04-07 September 2018
Date Added to IEEE Xplore: 25 October 2018
ISBN Information: