Advanced search
Start date

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
Effective date (Start): October 01, 2013
Effective date (End): 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


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)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items

Please report errors in scientific publications list using this form.