Overview

IdentifyTPN Tool allows to solve a number of identification problems using Labeled Time Petri net models and algorithms, alone or combined.

Download

  • Click here to download IdentifyTPN tool.
    After unzipping it, please refer to file Read_Me.txt, saved in the folder DOC, to properly instal the tool.

Prerequisites

  • Matlab (v.2011 or later - object oriented programming must be supported)
  • Mixed Integer Linear Programmin Problem (MILPP) solver.
    IdentifyTPN tool is ready to be interfaced with IBM Cplex: students and accademics can free download it from this link.

References, more information, and resources

Tool functionality are based on the results presented in:
  • Basile, F., Chiacchio, P., and Coppola, J. (2016a). A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies. IEEE Transactions on Automation Science and Engineering, 13(4), 1541–1556.
  • Basile, F., Chiacchio, P., and Coppola, J. (2016b). Identification of labeled time Petri nets. 13th International Workshop on Discrete Event Systems (WODES 2016), 478–485.
  • Basile, F., Chiacchio, P., and Coppola, J. (2016c). Identification of Time Petri net models. IEEE Transactions on Systems, Man and Cybernetics: Systems, doi=http://dx.doi.org/10.1109/TSMC.2016.2523929.