Title: Reachability Analysis Based on ECS-class of Time Petri Nets
Abstract: 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.
Publication Year: 2007
Publication Date: 2007-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot