Please use this identifier to cite or link to this item: https://repositorio.fei.edu.br/handle/FEI/3403
Title: A new Requirements Engineering approach for Manufacturing based on Petri Nets
Authors: SILVA, JAVIER MARTINEZ
JAVALES, RAUL
SILVA, JOSÉ REINALDO
Issue Date: 2-Nov-2019
Abstract: Manufacturing systems are going through strategic changes to move from current massive customization production process towards new digital models - also called Industry 4.0. Process planning for this new approaches demand artificial intelligent and requirements modeling that should be formally verified. Therefore, requirements for manufacturing - eventually distributed - processes should be formalized and analyzed to lead to effective smart solutions. Goal-oriented requirements appear as a suitable approach to requirements but still need a formal representation that could deal with discrete distributed plants. Finding such representation is a key issue to model and verify requirements. This paper presents a method and a framework to put together goal-oriented requirements and Petri Nets, as an alternative to the requirements for manufacturing systems capable to deal with digital twins. A classic example associated to a car manufacturing plant is also presented to illustrate the method.
Keywords: requirements engineering
goal-oriented requirements
requirements modeling
manufacturing design
Petri Nets
Journal: IFAC-PAPERSONLINE
ISSN: 2405-8963
Citation: SILVA, J. M.; JAVALES, R.; SILVA, J. R. A new requirements engineering approach for manufacturing based on Petri Nets. IFAC-PAPERSONLINE, v. 52, n. 10, p. 97-102, nov. 2019.
Access Type: Acesso Aberto
DOI: 10.1016/j.ifacol.2019.10.006
URI: https://repositorio.fei.edu.br/handle/FEI/3403
Appears in Collections:Artigos

Files in This Item:
File Description SizeFormat 
Silva_pdf753.44 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.