Behavioural inheritance in client/server Petri nets

With the emergence of formalisms integrating the object oriented approach and Petri nets, the question arises how inheritance may be supported by such formalisms. The question is not easy since, in the community of concurrent OO languages, there is no agreement on what really the behavioural inheritance could be. This paper proposes a formal framework for behavioural inheritance in Client/Server nets. This framework is based upon the preorder and equivalence relations which are considered in the study of concurrent systems (e.g. language, failure and (Bi)simulation ones), allowing to define various inheritance relations which enjoy nice properties