Safety analysis of Petri nets based on the SM-cover computed with the linear algebra technique
Remigiusz Wiśniewski, Marcin Wojnakowski, Łukasz Stefanowicz · AIP conference proceedings · 2018
A safety analysis method for Petri nets is proposed in the paper. The idea relies on the computation of the state machine components cover computed with the linear algebra technique. Contrary to the traditional algorithms the presented method is an approximate one. The proposed idea has been verified experimentally, and a brief analysis of the obtained results is presented.