DocumentCode
3053526
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
Volume
1
fYear
1995
fDate
22-25 Oct 1995
Firstpage
389
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1995.537790
Filename
537790
Link To Document