DocumentCode
1812248
Title
Decidability of single-rate hybrid Petri nets
Author
Seatzu, Carla ; Febbraro, Angela Di ; Balduzzi, Fabio ; Giua, Alessandro
Author_Institution
Dipt. di Ingegneria Elettrica ed Elettronica, Cagliari Univ., Italy
Volume
3
fYear
1999
fDate
1999
Firstpage
2243
Abstract
We define a class of single-rate hybrid Petri nets. The continuous dynamics of these nets is such that the vector of the marking derivatives of the continuous places is constant but for a scalar factor. This class of nets can be seen as the counterpart of timed automata with skewed clocks. We prove that the reachability problem for this class can be reduced to the reachability problem of an equivalent discrete net and thus it is decidable
Keywords
Petri nets; automata theory; continuous time systems; decidability; discrete event systems; reachability analysis; continuous dynamics; discrete net; reachability problem; single-rate hybrid Petri nets; Automata; Clocks; Discrete event systems; Petri nets; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1999. Proceedings of the 38th IEEE Conference on
Conference_Location
Phoenix, AZ
ISSN
0191-2216
Print_ISBN
0-7803-5250-5
Type
conf
DOI
10.1109/CDC.1999.831254
Filename
831254
Link To Document