Ασαφή δίκτυα Petri - Κυρίτσης, Χαρίλαος ([χ.ό.], 2008)