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.