1. An approach for the identification of time Petri net systems;Basile,2013
2. Fault model identification and synthesis in Petri nets;Cabasino;Discrete Event Dynamic Systems,2014
3. Measuring behavioral correspondence to a timed concurrent model;Cook;IEEE Int. Conf. on Software Maintenance,2001
4. Repairing process models to reflect reality;Fahland,2012
5. Identification of free-labeled Petri nets via integer programming;Giua;44th IEEE Conf. on Decision and Control (CDC05), Seville, Spain,2005