In: Proc. IFAC Conf. on Control Systems Design (CSD'2000), 18-20 June 2000, Bratislava, Slovak Republic, pages 329-334. 2000.
Abstract: Theis paper shows a methodological approach to the development of complex systems with a Petri net representation for models and methodology. On the basis of the waterfall model of Yourdon and the spiral model of Boehm a combine framework for the automated system development has been developed. The aim of the automated system development is to establish a general methodological framework for the consistent systematic development of systems starting from the specifications up to the physical implementation. As a case study for the steps of modeling and definition of algorithms in this approach a train control system with satellite-based locationing has been used. Based on the Petri net model, the next step is the automatic or semi-automatic generation of source code and the assessment of the performance of this code.
Keywords: BASYSNET, Petri nets, automated system development, code generation, train control systems.