Dynamic generation and analysis of the state space of Petri nets using interactive CPN tools software

• Grant number: 13/16352-3
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: October 01, 2013
• End date: September 30, 2014
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Orides Morandin Júnior
• Grantee: Paulo Roberto Cerioni
• Host Institution: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brazil
• Associated research grant: 08/57870-9 - Critical Embedded Systems Institute, AP.TEM

Abstract

In recent years, more companies apply industrial automation techniques in order to increase their efficiency. Increasingly Automated Guided Vehicles (AGVs) are used to transport tasks in industries and warehouses. The management of these AGVs is the key to an efficient transportation system. One of the main problems encountered in the management of AGVs is the decision for the dispatching task. The dispatching decision needs to evaluate many variables in real-time to achieve good results. An additional gain would be able to assess future situations of the factory. This project proposes the use of Petri nets for modeling manufacturing systems, which is from the modeling can generate a state space of the network and extract information of the manufacturing system, in which this information can be used later by a decision system. It´s also proposed that this generation of state space and data are extracted automatically through external control software. The validation will be through the Petri nets modeling factory scenarios in CPN Tools software and verified that the external control software is able to communicate with the model and generate the state space and extract information from it. (AU)