A configurable state class method for temporal analysis of time petri nets

Li Pan, Zhi Jun Ding, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

29 Scopus citations


A task' s end-to-end delay in its execution is a key requirement to real-time systems. This paper presents a configurable state class method based on time Petri nets for their quantitative analysis. The proposed method has a flexible state class structure. A firing domain is separated into a kernel domain that supports the basic evolution of state classes, and a configurable domain that is used to evaluate end-to-end delays. Since both domains adopt a uniform representation for time constraints, end-to-end delays can be computed synchronously with the evolution of state classes via the same firing rules. Firing rules are decomposed into basic timing operations. This treatment not only makes the calculation of end-to-end delays more flexible, but also provides a scalable way to add new timing operations into a time Petri net model. The proposed method computes arbitrary end-to-end delays along a trace with time O(ml2) and space O(l2), where m is the number of firing transitions along the trace and l is the maximum number of transitions in configurable and kernel domains. Compared with the existing state class methods, it has better performance and flexibility in on-the-fly computation of end-to-end delays.

Original languageEnglish (US)
Article number6568015
Pages (from-to)482-493
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Issue number4
StatePublished - Apr 2014

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering


  • End-to-end delay analysis
  • quantitative analysis
  • state classes
  • time Petri nets


Dive into the research topics of 'A configurable state class method for temporal analysis of time petri nets'. Together they form a unique fingerprint.

Cite this