Hybrid and Hybrid Adaptive Petri Nets: On the computation of a Reachability Graph |
| |
| Institution: | 1. Department of Mechanical Engineering, Korea Maritime and Ocean University, 727 Taejong-ro, Yeongdo-Gu, Busan 49112, South Korea;2. Department of Mechanical Engineering, Chonnam National University, 77 Yongbong-ro, Buk-gu, Gwangju 61186, South Korea;1. School of Automation, Nanjing University of Science and Technology, Nanjing, 210094, People’s Republic of China;2. Department of Engineering, Faculty of Engineering and Science, University of Agder, N-4898 Grimstad, Norway;1. The Editorial Board, Medical Journal of the Chinese People’s Armed Police Force, Beijing, China;2. Institute of Radiology, Chinese Academy of Medical Sciences, Tianjin, China;3. Medical Team, Fifth Branch of Corps Headquarter, Xinjiang, China;4. Institute of Disaster Medicine, Tianjin University, Tianjin, China;1. Faculty of Electronic and Electrical Engineering, Huaiyin Institute of Technology, Huaian 223003, Jiangsu, China;2. Department of Applied Mathematics, Nanjing University of Finance and Economics, Nanjing 210046, Jiangsu, China;3. Faculty of Computer Engineering, Huaiyin Institute of Technology, Huaian 223003, Jiangsu, China |
| |
| Abstract: | Petri Nets (PNs) constitute a well known family of formalisms for the modelling and analysis of Discrete Event Dynamic Systems (DEDS). As general formalisms for DEDS, PNs suffer from the state explosion problem. A way to alleviate this difficulty is to relax the original discrete model and deal with a fully or partially continuous model. In Hybrid Petri Nets (HPNs), transitions can be either discrete or continuous, but not both. In Hybrid Adaptive Petri Nets (HAPNs), each transition commutes between discrete and continuous behaviour depending on a threshold: if its load is higher than its threshold, it behaves as continuous; otherwise, it behaves as discrete. This way, transitions adapt their behaviour dynamically to their load. This paper proposes a method to compute the Reachability Graph (RG) of HPNs and HAPNs. |
| |
| Keywords: | Petri Nets Hybrid Petri Nets Hybrid Adaptive Petri Nets Reachability Reachability Graph Discrete event systems modelling |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
