Contribution to the modelling and control methodology of complex systems

The paper presents the use of hierarchical coloured Petri nets (HCPN) in the area of modelling and control methodology of reactive systems. The goal is to give some facilities to a system designers by introducing a generic models elaborated by the HCPN that allows verification, analysis and validation of the results in the preliminary stage of design. The models are destined to the modelling of sequential systems.<
>