Student Luiz Fernando Puttow Southier
Advisors Prof. Dr. Marcelo Teixeira and Prof. Dr. Marco Antônio de Castro Barbosa
Master's Degree Dissertation

Check the paper: Modelling and Control of Manufacturing Systems Subject to Context Recognition and Switching


Graduation Program in Electrical Engineering
Federal University of Technology - Paraná
Campus Pato Branco - Brazil - 2019

How to use:

1. Create the plant and specification models with variables using Supremica
• Domain of variables must be integer and numeric. Ex: 0..7
• Initial value of variables must be numeric. Ex: X==1
• Plant models must have only updates and specification models only tests
2. Save the file (extension .wmod)
3. Select the file and click on 'Begin conversion'
4. Once converted, the Event-refined model will be downloaded automatically