Title :
High-level hybrid Petri nets: a definition
Author :
Giua, Alessandro ; Usai, Elio
Author_Institution :
Istituto di Elettrotecnica, Cagliari Univ., Italy
Abstract :
The paper presents a model which provides a simple graphical representation of hybrid systems and takes advantage of the modular structure of Petri nets in giving a compact description of systems composed of interacting subsystems, both time-continuous and discrete-event. The modelling formalism seems rich enough to encompass large classes of hybrid systems and can easily represent many of the features of the models given in the literature
Keywords :
Petri nets; continuous time systems; discrete event systems; set theory; compact description; discrete-event systems; graphical representation; high-level hybrid Petri nets; hybrid systems; interacting subsystems; modular structure; time-continuous systems; Bars; FCC; Petri nets; Programmable logic arrays; Vectors;
Conference_Titel :
Decision and Control, 1996., Proceedings of the 35th IEEE Conference on
Conference_Location :
Kobe
Print_ISBN :
0-7803-3590-2
DOI :
10.1109/CDC.1996.574277
