Reggie Davidrajuh. Detecting Existence of Cycles in Petri Nets - An Algorithm that Computes Non-redundant (Nonzero) Parts of Sparse Adjacency Matrix. In Manuel Graña, José Manuel López-Guede, Oier Etxaniz, Álvaro Herrero, Héctor Quintián, Emilio Corchado, editors, International Joint Conference SOCO'16-CISIS'16-ICEUTE'16 - San Sebastián, Spain, October 19th-21st, 2016, Proceedings. Volume 527 of Advances in Intelligent Systems and Computing, pages 376-385, 2016. [doi]
Abstract is missing.