In: Automation and Remote Control, Vol. 56, No. 1, pages 139-149. 1995.
Abstract: The set of models forming the basis of methods of `computer-aided system engineering' (CASE-technology) is discussed. The set contains the statical models as well as the dynamical ones based upon Petri nets with `colored' markers. Techniques for the generation and the transformation of the models are considered. The paper presents both a review of the CASE-technology and the authors' suggestions directed to its further development.
Keywords: CASE technology, Petri nets, computer-aided system engineering.