Reachability Analysis Based on ECS-class of Time Petri Nets

Time Petri nets represent a popular Petri net model for specification and verification of real-time systems.A fundanmental and most widely applied method for analyzing Petri nets is reachability analysis.ECS-class reachability analysis is presented to integrated the State-class which can't compute time delay in the instance of concurrency with the CS-class which can't schedule the event in the instance of choice.Finally a Petri net model is analyzed and validated.