On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets-Reference-Cited by-同舟云学术

On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets

Published:2018-06-01 Issue:2 Volume:28 Page:269-281
ISSN:2083-8492
Container-title:International Journal of Applied Mathematics and Computer Science
language:en
Short-container-title:

Author:

Li Ben¹,Khlif-Bouassida Manel²,Toguyéni Armand²

Affiliation:

1. Centrale Lille, 59650 Villeneuve d’Ascq , France

2. Cristal, UMR 9189 Centrale Lille, 59650 Villeneuve d’Ascq , France

Abstract

Abstract This paper considers the problem of diagnosability analysis of discrete event systems modeled by labeled Petri nets (LPNs). We assume that the LPN can be bounded or unbounded with no deadlock after firing any fault transition. Our approach is novel and presents the on-the-fly diagnosability analysis using verifier nets. For a given LPN model, the verifier net and its reachability graph (for a bounded LPN) or coverability graph (for an unbounded LPN) are built on-the-fly and in parallel for diagnosability analysis. As soon as a diagnosability decision is established, the construction is stopped. This approach achieves a compromise between computation limitations due to efficiency and combinatorial explosion and it is useful to implement an engineering approach to the diagnosability analysis of complex systems.

Publisher

Walter de Gruyter GmbH

Subject

Applied Mathematics,Engineering (miscellaneous),Computer Science (miscellaneous)

Link

https://www.sciendo.com/pdf/10.2478/amcs-2018-0019

Reference19 articles.

1. Basile, F., Chiacchio, P. and De Tommasi, G. (2012). On K-diagnosability of Petri nets via integer linear programming, Automatica 48(9): 2047-2058.10.1016/j.automatica.2012.06.039

2. Basile, F., Chiacchio, P. and Tommasi, G. (2009). An efficient approach for online diagnosis of discrete event systems, IEEE Transactions on Automatic Control 54(4): 748-759.10.1109/TAC.2009.2014932

3. Boussif, A., Ghazel, M. and Klai, K. (2015). Combining enumerative and symbolic techniques for diagnosis of discrete-event systems, 9th International Workshop on Evaluation of Computer and Communication Systems, Bucharest, Romania, pp.1-11.

4. Cabasino, M., Giua, A., Lafortune, S. and Seatzu, C. (2012). A new approach for diagnosability analysis of Petri nets using verifier nets, IEEE Transactions Automatic Control 57(12): 3104-3117.10.1109/TAC.2012.2200372

5. Cabasino, M., Giua, A. and Seatzu, C. (2014). Diagnosis of discrete event systems using labeled Petri nets, IEEE Transactions on Automation Science and Engineering 11(1): 144-153.10.1109/TASE.2013.2289360

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets;AIP Conference Proceedings;2024

2. Bounded and place invariant-covered Petri nets for cyber-physical systems specification;AIP Conference Proceedings;2024

3. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net;Technological Innovation for Connected Cyber Physical Spaces;2023

4. Design and Verification of Petri-Net-Based Cyber-Physical Systems Oriented toward Implementation in Field-Programmable Gate Arrays—A Case Study Example;Energies;2022-12-21

5. Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems;2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2022-10-09