Using predicate temporal logic and coloured Petri nets to specifying integrity restrictions in the structural evolution of temporal active systems | Publicación