Smart Grid (SG) systems are considered a sustainable alternative to power supply problems
all over the world. SG systems are open, distributed and heterogeneous, what raises a huge …

It is almost consensual that modeling and design should converge to a distinguish phase in
the project after specifications are well defined and a step further in the visualization of the …

It is well known that automated systems have to be carefully evaluated to result in good
specifications that lead to useful systems. Therefore, that implies that the early design phase …

This paper presents an overview of an integrated modeling and verification process of real-
time systems using an extended Petri Net called GHENeSys (General Hierarchical …

Devido à alta complexidade dos Sistemas Produtivos, o projeto de sistemas de controle
adequados às exigências normativas vinculadas aos processos industriais que são …