For the most recent entries see the Petri Nets Newsletter.

Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse.

Gorgônio, Kyller Costa; Perkusich, Angelo

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography