Modeling complex Petri nets operations in the Model-Driven Architecture by Barbosa, P.E.S., Costa, A., de Figueiredo, J.C.A., Ramalho, F., Gomes, L., dos S. Junior, A.D.

Request full text

Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches by Rodrigues, C.L., Morais, F.J., Silva, L.M.L., da Silva, K.R.G., de Figueiredo, J.C.A., Guerrero, D.D.S., Melcher, E.

Request full text

Using coloured Petri nets to evaluate the impact of the QoS of failure detectors in the performance of a consensus protocol by de Figueiredo, J.C.A., Sampaio, L.M.R., Brasileiro, F.V.

Request full text

Towards a modular timing analysis of real-time software systems by de Figueiredo, J.C.A., Perkusich, A.

Request full text

Model checking in object-oriented Petri nets by Rodrigues, C.L., Guerrero, D.D.S., de Figueiredo, J.C.A.

Request full text

A fault tolerant coloured Petri net resource allocation manager for manufacturing systems by Barros, T.C., Perkusich, A., de Figueiredo, J.C.A.

Request full text

An interactive Petri net tool for modeling, analysis and simulation of complex systems by Lima, I.S., Perkusich, A., de Figueiredo, J.C.A.

Request full text

Applying coloured Petri nets to analyze fail silent nodes in distributed systems by Sampaio, L.M.R., de Figueiredo, J.C.A., Brasileiro, F.V.

Request full text

An object based Petri net model application to manufacturing systems by Serey, D.D.G., Fernandes, J.P., Perkusich, A., de Figueiredo, J.C.A.

Request full text

Towards a multi-agent interactive learning environment oriented to the Petri net domain by Gois, G.M., Perkusich, A., de Figueiredo, J.C.A., Costa, E.B.

Request full text

An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems by de Medeiros, A.K.A., Guerrero, D.S., de Figueiredo, J.C.A., Perkusich, A.

Request full text

Inheritance issues in object-oriented Petri net models by Costa, S.A.D., Guerrero, D.D.S., de Figueiredo, J.C.A., Perkusich, A.

Request full text

An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations by Barbosa, P.E.S., Ramalho, F., de Figueiredo, J.C.A., dos S. Junior, A.D.

Request full text

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids by Rodrigues, C.L., Barbosa, P.E.S., Cabral, J.M., de Figueiredo, J.C.A., Guerrero, D.D.S.

Request full text

Design of distributed track-vehicle systems applying a high-level object oriented Petri net methodology by Perkusich, A., de Figueiredo, J.C.A.

Request full text

Distributed control of track-vehicle system with fault-tolerant characteristics: a Petri net based approach by de Figueiredo, J.C.A., Perkusich, A.

Request full text

A Petri net approach for knowledge base construction for fault analysis and control of discrete time systems by Perkusich, A., de Figueiredo, J.C.A., Perkusich, M.L.B., Barros, T.C.

Request full text