Conditional Colored Petri Net for Modelling an Automated GDM System. - Joselito Medina-Marín; Virgilio López-Morales; Oleksandr Karelin (MICAI (2), 2015)