A new Requirements Engineering approach for Manufacturing based on Petri Nets

dc.contributor.authorSILVA, JAVIER MARTINEZ
dc.contributor.authorJAVALES, RAUL
dc.contributor.authorSILVA, JOSÉ REINALDO
dc.contributor.authorOrcidhttps://orcid.org/0000-0001-5910-7257
dc.date.accessioned2021-10-20T16:42:44Z
dc.date.available2021-10-20T16:42:44Z
dc.date.issued2019-11-02
dc.description.abstractManufacturing 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.
dc.description.firstpage97
dc.description.issuenumber10
dc.description.lastpage102
dc.description.volume52
dc.identifier.citationSILVA, 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.
dc.identifier.doi10.1016/j.ifacol.2019.10.006
dc.identifier.issn2405-8963
dc.identifier.urihttps://repositorio.fei.edu.br/handle/FEI/3403
dc.relation.ispartofIFAC-PAPERSONLINE
dc.rightsAcesso Aberto
dc.rights.licenseCreative Commons "Este é um artigo publicado em acesso aberto sob uma licença Creative Commons (CC BY-NC-ND). Fonte: https://www.sciencedirect.com/science/article/pii/S2405896319308523?via%3Dihub. Acesso em: 21 out. 2021.
dc.subjectrequirements engineering
dc.subjectgoal-oriented requirements
dc.subjectrequirements modeling
dc.subjectmanufacturing design
dc.subjectPetri Nets
dc.titleA new Requirements Engineering approach for Manufacturing based on Petri Netspt_BR
dc.typeArtigopt_BR
fei.scopus.citations8
fei.scopus.eid2-s2.0-85075904568
fei.scopus.updated2024-03-04
fei.source.urlhttps://www.sciencedirect.com/science/article/pii/S2405896319308523?via%3Dihub
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
Silva_pdf
Tamanho:
753.44 KB
Formato:
Adobe Portable Document Format
Coleções