In: Petri Net Newsletter No. 48, pages 27-48. April 1995.
Abstract: The paper presents an unified approach based on the use hierarchical coloured Petri nets jointly with the functional language CPN-ML, to represent reactive and complex systems. The goal is, with some standardised generic models, to give clarity and behavioural understanding and at the same time allow the validation of the modelled system by models directly executable. Few rules are applied to obtain these models. The use of the generic models is illustrated with some examples.