
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Jeffrey J. P. Tsai, Steve Jennhwa Yang, YaoHsiung Chang, "Timing Constraint Petri Nets and Their Application to Schedulability Analysis of RealTime System Specifications," IEEE Transactions on Software Engineering, vol. 21, no. 1, pp. 3249, January, 1995.  
BibTex  x  
@article{ 10.1109/32.341845, author = {Jeffrey J. P. Tsai and Steve Jennhwa Yang and YaoHsiung Chang}, title = {Timing Constraint Petri Nets and Their Application to Schedulability Analysis of RealTime System Specifications}, journal ={IEEE Transactions on Software Engineering}, volume = {21}, number = {1}, issn = {00985589}, year = {1995}, pages = {3249}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.341845}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Timing Constraint Petri Nets and Their Application to Schedulability Analysis of RealTime System Specifications IS  1 SN  00985589 SP32 EP49 EPD  3249 A1  Jeffrey J. P. Tsai, A1  Steve Jennhwa Yang, A1  YaoHsiung Chang, PY  1995 KW  Timing constraints KW  Petri nets KW  time Petri nets KW  timed Petri nets KW  specification and verification KW  timing analysis KW  realtime systems KW  synthesis. VL  21 JA  IEEE Transactions on Software Engineering ER   
[1] B. Berthomieu and M. Diaz,“Modeling and verification of time dependent systems using time Petri nets,”IEEE Trans. Software Eng., vol. SE17, pp. 259–273, Mar. 1991.
[2] J. E. Coolahan, Jr. and N. Roussopoulos,“Timing requirements for time driven systems using augmented Petri nets,”IEEE Trans. Software Eng., vol. SE9, pp. 603–616, Sept. 1983.
[3] B. Dasarathy,“Timing constraints of realtime systems: constructs for expressing them, methods of validating them,”IEEE Trans. Software Eng., vol. SE11, pp. 80–86, Jan. 1985.
[4] M. Felder, D. Mandrioli, and A. Morzenti,“Proving properties of realtime systems through logical specifications and Petri net models,”IEEE Trans. Software Eng., vol. SE20, pp. 127–141, Feb. 1994.
[5] C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze,“A unified highlevel Petri net formalism for timecritical systems,”IEEE Trans. Software Eng., vol. SE17, pp. 160–171, Feb. 1991.
[6] D. Haban and K. G. Shin,“Application of realtime monitoring to scheduling tasks with random execution times,”IEEE Trans. Software Eng., vol. SE16, pp. 1374–1389, Dec. 1990.
[7] M. A. Holliday and M. K. Vernon,“A generalized timed Petri net model for performance analysis,”IEEE Trans. Software Eng., vol. SE13, pp. 1297–1310, Dec. 1987.
[8] F. Jahanian and A. K.L. Mok,“Safety analysis of timing properties in realtime systems,”IEEE Trans. Software Eng., vol. SE12, pp. 890–904, Sept. 1986.
[9] ——,“A graphtheoretic approach for timing analysis and its implementation,”IEEE Trans. Comput., vol. C36, pp. 961–975, Aug. 1987.
[10] N. Leveson, “Safety Analysis Using Petri Nets,” IEEE Trans. Software Eng., vol. 13, no. 3, Mar. 1987.
[11] J. Li, I. Suzuki and M. Yamashita,“A new structural induction theorem for rings of temporal Petri nets,”IEEE Trans. on Software Engin., vol. SE20, no. 2, pp. 115–126, Feb. 1994.
[12] N. LopezBenitez,“Dependability modeling and analysis of distributed programs,”IEEE Trans. Software Eng., vol. SE20, pp. 345–352, May 1994.
[13] P. M. Merlin and D. J. Farber,“Recoverability of communication protocols implications of a theoretical study,”IEEE Trans. Commun., vol. COM24, pp. 1036–1043, Sept. 1976.
[14] T. Murata,“Petri nets: properties, analysis and application,”inProc. IEEE, vol. 77, 1989, pp. 541–580.
[15] M. Notomi and T. Murata,“Hierarchical reachability graph of bounded Petri nets for concurrentsoftware analysis,”IEEE Trans. Software Eng., vol. SE20, pp. 325–336, May 1994.
[16] D. Peng and K. G. Shin,“Modeling of concurrent task execution in a distributed system for realtime control,”IEEE Trans. Comput., vol. C36, pp. 500–516, Apr. 1987.
[17] C. V. Ramamoorthy and G. S. Ho,“Performance evaluation of asynchronous concurrent systems using Petri nets,”IEEE Trans. Software Eng., vol. SE6, pp. 440–449, Sept. 1980.
[18] C. Ramchandani,“Analysis of asynchronous concurrent systems by Petri nets.”Cambridge, MA: MIT, Project MAC, TR120, Feb. 1974.
[19] R. R. Razouk and C. V. Phelps,“Performance analysis using time Petri nets,”inProc. 4th IFIP Protocol Specification, Testing and Verification, Y. Yemini et al., Eds. Amsterdam, The Netherlands: NorthHolland, 1985.
[20] J. A. Stankovic, K. Ramamritham, and S. Cheng,“Evaluation of a flexible task scheduling algorithm for distributed hard realtime systems,”IEEE Trans. Comput., vol. 34, pp. 1130–1143, Dec. 1985.
[21] A. D. Stoyenko, C. Hamacher, and R. C. Holt,“Analyzing hardrealtime programs for guaranteed schedulability,”IEEE Trans. Software Eng., vol. SE17, pp. 737–750, Aug. 1991.
[22] I. Suzuki and H. Lu,“Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter,”IEEE Trans. Comput., vol. C38, pp. 696–704, May 1989.
[23] H. Tokuda and M. Kotera,“Scheduler 123: an interactive schedulability analyzer for realtime systems,”inProc. of IEEE 12th Int. Comput. Software and Applic. Conf., Chicago, IL, Oct. 1988, pp. 211–219.
[24] J. J. P. Tsai, K. Y. Fang, H. Y. Chen, and Y. D. Bi,“A noninterference monitoring and replay mechanism for realtime software testing and debugging,”IEEE Trans. Software Eng, vol. SE16, pp. 897–916, Aug. 1990.
[25] J. J. P. Tsai, K. Y. Fang, and H. Y. Chen,“A noninvasive architecture to monitoring realtime distributed systems,”IEEE Comput., vol. 23, pp. 11–23, Mar. 1990.
[26] J. J. P. Tsai and T. J. Weigert,KnowledgeBased Software Development For RealTime Distributed Systems. Singapore: World Scientific Publication, 1993.
[27] J. J. P. Tsai, T. Weigert, and H.C. Jang“A hybrid knowledge representation as a basis of requirement specification and specification analysis,”IEEE Trans. Software Eng., vol. SE18, pp. 1076–1100, Dec. 1992.
[28] J. J. P. Tsai and S. J. H. Yang,Monitoring and Debugging of Distributed RealTime Systems. Washington, DC: IEEE Computer Society Press, 1995.