PlanPAS: PLC and automated planning integration. - João Paulo da Silva Fonseca; Alexandre Rodrigues de Sousa; Marco Vinícius Muniz Ferreira; José Jean-Paul Zanlucchi de Souza Tavares (Int. J. Comput. Integr. Manuf., 2016)

Modeling and controlling IoT-based devices' behavior with high-level Petri nets. - João Paulo da Silva Fonseca; Alexandre Rodrigues de Sousa; José Jean-Paul Zanlucchi de Souza Tavares (ISM, 2022)