Abstract
AbstractTime Petri nets are a powerful formal model for the specification and verification of real-time systems. End-to-end delays in task execution are a key requirement to real-time systems. In this paper, we propose a state class method based on time Petri nets for the computation of end-to-end delays. By introducing time constraints of fired transitions into firing domains of state classes, the computation of end-to-end delays can be performed synchronously with the evolution of state classes in the same firing rules. Therefore, the proposed method avoids the maintain of all visited state classes along an execution trace in the global set method, and is suitable for the on-the-fly verification of time properties based on time Petri nets.KeywordsEnd-to-end delay computationState classesTime Petri nets
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
