TY - GEN
T1 - Decision support system for petri nets enabled automation components
AU - Pinto, João
AU - Mendes, J. Marco
AU - Leitão, Paulo
AU - Colombo, Armando W.
AU - Bepperling, Axel
AU - Restivo, Francisco
N1 - Copyright:
Copyright 2009 Elsevier B.V., All rights reserved.
PY - 2009
Y1 - 2009
N2 - The expected behavior of industrial automation systems can be defined and modeled, but since not every event is predicted at design time, additional care has to be taken during the operation to handle situations such as exceptions, failures and new production orders. Another remark is also the limitation of modeling languages used in the control to permit the intervention of higher grade decision mechanisms. This paper discusses the application of decision support system for Petri net based processes to control automation components and devices. The decision mechanisms are used for path planning, production scheduling and preventive maintenance, to support the description of processes in Petri nets formalism. As such, the same Petri nets designed for the control are also used as analytical information input to the decision support system and for the detection process options that require decision. The solution provides a dynamic complement to the static modeling and operational flexibility. Experiments were done in a real service-oriented industrial factory-cell to prove the specified approach.
AB - The expected behavior of industrial automation systems can be defined and modeled, but since not every event is predicted at design time, additional care has to be taken during the operation to handle situations such as exceptions, failures and new production orders. Another remark is also the limitation of modeling languages used in the control to permit the intervention of higher grade decision mechanisms. This paper discusses the application of decision support system for Petri net based processes to control automation components and devices. The decision mechanisms are used for path planning, production scheduling and preventive maintenance, to support the description of processes in Petri nets formalism. As such, the same Petri nets designed for the control are also used as analytical information input to the decision support system and for the detection process options that require decision. The solution provides a dynamic complement to the static modeling and operational flexibility. Experiments were done in a real service-oriented industrial factory-cell to prove the specified approach.
UR - http://www.scopus.com/inward/record.url?scp=71049166404&partnerID=8YFLogxK
U2 - 10.1109/INDIN.2009.5195819
DO - 10.1109/INDIN.2009.5195819
M3 - Conference contribution
AN - SCOPUS:71049166404
SN - 9781424437603
T3 - IEEE International Conference on Industrial Informatics (INDIN)
SP - 289
EP - 294
BT - 2009 7th IEEE International Conference on Industrial Informatics, INDIN 2009
T2 - 2009 7th IEEE International Conference on Industrial Informatics, INDIN 2009
Y2 - 23 June 2009 through 26 June 2009
ER -
