Boel, "A distributed approach for fault detection and diagnosis based on Time Petri Nets," Mathematics and Computers in Simulation, vol.
De Schutter, "Fault diagnosis for Time Petri Nets," in Proceedings of the 8th International Workshop on Discrete Event Systems (WODES '06), pp.
A wide diversity of techniques such as the early attempts using fault trees and digraphs, knowledge-based systems, neural networks, Process history information, causal graphs, analytical approaches, chronicles, time petri nets, in more recent studies are computer aided methods for the process fault diagnostic problematic that have been developed over the years.
Vernadat, <<Bridging the gap between Timed Automata and Bounded Time Petri Nets.,>> FORMATS, LNCS, vol.
Qu, "Temporal inference of workflow systems based on time petri nets: quantitative and qualitative analysis," International Journal of Intelligent Systems, vol.19, no.5, pp.417 442, 2004.
Haar, "A concurrency-preserving translation from time Petri nets to networks of timed automata," FormalMethodsinSystemDesign, vol.40, no.3, pp.330-355, 2012.
Using zone graph method for computing the state space of a time Petri net, Lecture Notes in Computer Science 2791/2004: 246-259.
Generalized time Petri net model for performance analysis, IEEE Transactions on Software Engineering SE-13(12): 1297-1310.
Modeling and verification of time dependent systems using Time Petri nets, IEEE Transactions on Software Engineering 17(3): 259-273.
An enumerative approach for analyzing time Petri nets, in Proc of the 9th IFIP World Congress "Information Processing 83" September 1983, Paris, France.
(1991) Modeling and Verification of Time Dependent Systems Using Time Petri Nets
. IEEE Transactions on Software Engineering, 17, 259-273.