Patrícia Nascimento Pena

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 2

Top Topics

Timed Petri Nets

Manufacturing Processes

Failure Diagnosis

Top Venues

Publications

Lucas V. R. Alves, Patrícia Nascimento Pena
Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory. CoRR (2020)
Lucas V. R. Alves, Hugo J. Bravo, Patrícia Nascimento Pena, Ricardo H. C. Takahashi
Planning on Discrete Events Systems: A logical approach. CASE (2016)
Hugo J. Bravo, Patrícia Nascimento Pena, Antonio Eduardo Carrilho da Cunha, Robi Malik, José E. R. Cury
Generalised Search for the Observer Property in Discrete Event Systems. WODES (2014)
Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury
Generalised verification of the observer property in discrete event systems. WODES (2012)