An ILASP-Based Approach to Repair Petri Nets.

Francesco Chiariello, Antonio Ielo, Alice Tarzariol

Browse the full LPNMR paper archive.