ByNobleID
    Using relation algebra for the analysis of Petri nets in a CASE tool based approach | NobleID