In: LNCS 2244: Perspectives of System Informatics, pages 279-pp. 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Revised Papers / D. Bjørner, M. Broy, A. Zamulin (eds.) --- Springer Verlag, 2001.
Abstract: A multi-tier methodology is required in order to make a smooth transformation from one stage to the next in the course of software development under a consistent conceptual framework. We present, in this paper, a multi-tier behavior inheritance modelling method based on Petri Nets, which is illustrated through STLEN and DCOPN that are two net models serving as the tools for describing behaviors at two consecutive modelling tiers respectively.
Keywords: Concurrency, Object Orientation, Petri Net, Behavior Inheritance, Modelling Method..