Model checking of time petri nets
Intelligent Text Document Correction System Based on Similarity Technique