Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang. Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. IEEE Trans. Software Eng., 21(1):32-49, 1995. [doi]

Abstract

Abstract is missing.