In: Lecture Notes in Computer Science : Relational Methods in Computer Science, Volume 3929, 2006, pages 83-95. 2006. URL: http://dx.doi.org/10.1007/117346737.
Abstract: We provide relation-algebraic characterisations of elementary, ordinary, and maximal cycles in graphs. Relational specifications for the enumeration of cycles are provided. They are executable within the RelView and RelClipse tools and appear to be useful in various applications. Particularly, cycles offer a valuable instrument for analysing Petri Nets.