Song, Wei; Dou, Wanchun; Liu, Xiping Timing constraint Petri nets and their schedulability analysis and verification. (Chinese. English summary) Zbl 1174.68334 J. Softw. 18, No. 1, 11-21 (2007). MSC: 68M20 PDFBibTeX XMLCite \textit{W. Song} et al., J. Softw. 18, No. 1, 11--21 (2007; Zbl 1174.68334)
Song, Wei; Dou, Wanchun; Liu, Xiping Timing constraint Petri nets and their schedulability analysis and verification. (Chinese. English summary) Zbl 1116.68057 J. Softw. 18, No. 1, 11-21 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{W. Song} et al., J. Softw. 18, No. 1, 11--21 (2007; Zbl 1116.68057)