Model repair of Time Petri Nets with temporal anomalies. Issue 7 (2015)

• Record Type: Journal Article
• Authors: Basile, F.; Chiacchio, P.; Coppola, J.
• Is Part Of: IFAC-PapersOnLine. Volume 48:Issue 7(2015)
• Page Start: 85
• Page End: 90
• Publication Date: 2015
• Subjects: Time Petri Nets -- Discrete Event Systems -- Identification -- Process Mining; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2015.06.477
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: In this paper the model repair of Time Petri net models with temporal anomalies is considered assuming that the nominal model is known and an observed timed sequence is given. The nominal model is updated online, if the durations of system activities change while their initial instant does not, without modifying the structure of the PN nominal model but just extending the firing interval of transitions. The approach requires the solution of a Mixed-Integer Linear Programming.