Design of distributed track-vehicle systems applying a high-level object oriented Petri net methodology

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.