"Real time identification of Time Petri net faulty models."

Francesco Basile, Pasquale Chiacchio, Jolanda Coppola (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics