DesignLab
  • Departamento de Engenharia Mecatrônica
    Escola Politécnica - Universidade de São Paulo

ScienceDirect

Silva, Javier Martinez and Silva, Jose Reinaldo

Journal 
IFAC-PapersOnLine 
Autor 
Silva, Javier Martinez and Silva, Jose Reinaldo 
Book Title 
 
Volume 
48 
Página(s) 
1634--1639 
DOI 
10.1016/j.ifacol.2015.06.320 
Published 
2015 
Month 
Tipo de Documento 
Artigo em Revista 
Abstract 
The design of planning problems has demanded more attention from the academy - which looks for new approaches - and from practitioners - which seeks for new and better results for real applications. AI approaches have been used for different applications in many domains, including manufacturing, and specially manufacturing services. However, as in all domains, a design process has to be provided to the planning (and scheduling) design to get advantages in the use of heuristic or analytic methods. Requirements analysis is a key issue for that design process and needs to be enhanced to fit users and stakeholder expectations. In this work we focus on requirements analysis for planning problems using Petri Nets derived from a UML representation of requirements. A transference algorithm is proposed to synthesize a Petri Net from KAOS diagram and allow analysis using Petri Net property analysis suitable to be applied to large projects. 
Keywords 
 
Publisher 
 
URL