For the most recent entries see the Petri Nets Newsletter.

On Relational Cycles.

Fronk, Alexander; Pleumann, Jörg

In: Lecture Notes in Computer Science : Relational Methods in Computer Science, Volume 3929, 2006, pages 83-95. 2006. URL:

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography