Model repair of Time Petri nets with temporal anomalies

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.

[1]  C. Seatzu,et al.  Identification of free-labeled Petri nets via integer programming , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[2]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[3]  Francesco Basile,et al.  An approach for the identification of time Petri net systems , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[4]  Ricardo Seguel,et al.  Process Mining Manifesto , 2011, Business Process Management Workshops.

[5]  Wil M. P. van der Aalst,et al.  Process Mining in the Large: A Tutorial , 2013, eBISS.

[6]  Gjergji Kasneci,et al.  Temporal Anomaly Detection in Business Processes , 2014, BPM.

[7]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[8]  Jonathan E. Cook,et al.  Measuring behavioral correspondence to a timed concurrent model , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[9]  Christoforos N. Hadjicostis,et al.  Fault model identification and synthesis in Petri nets , 2015, Discret. Event Dyn. Syst..

[10]  Bernard Riera,et al.  Design and Identification of Stochastic and Deterministic Stochastic Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[11]  Dirk Fahland,et al.  Repairing Process Models to Reflect Reality , 2012, BPM.

[12]  K. H. Coats,et al.  Dead-End Pore Volume and Dispersion in Porous Media , 1964 .

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.