Title :
Design of distributed track-vehicle systems applying a high-level object oriented Petri net methodology
Author :
Perkusich, Angelo ; De Figueiredo, Jorge C A
Author_Institution :
Dept. de Engenharia Eletrica, Univ. Federal da Paraiba, Joao Pessoa, Brazil
Abstract :
In this paper, we introduce a Petri net based methodology for the design of a track-vehicle system. The main motivation for the introduction of this methodology is to provide a firm theoretic model to be applied in the development of a system for design automation. We exemplify our presentation by defining the objects for the design of a distributed track vehicle system controller
Keywords :
Petri nets; object-oriented methods; rail traffic; railways; traffic control; distributed track-vehicle systems design; high-level object-oriented Petri net methodology; Automatic control; Control systems; Design automation; Design methodology; Distributed control; Object oriented modeling; Petri nets; Software systems; Switches; Vehicles;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.537790