In: C. Gacek (Ed.): Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, pages 1-240pp. Springer Verlag, LNCS 2319, April 2002.
Abstract: In this work we introduce an automatic adaptation approach for Coloured Petri Nets models. For this approach we define a procedure for the synthesis of a new model based on a given model and a set of behavior restrictions. This procedure was defined based on the concepts and techniques of the supervisory control theory and model checking. Moreover, we tackle the adaptation problem in the context of models reuse.
Keywords: Formal specification; Petri nets; model checking; temporal logic; supervisory control theory; models adaptation and reuse.