메뉴 건너뛰기




Volumn 28, Issue 10, 2002, Pages 933-943

Time domain analysis of non-Markovian stochastic Petri nets with PRI transitions

Author keywords

Non Markovian Stochastic Petri Nets; Preemption policies; Preemptive repeat identical (pri) type transition; Time domain analysis

Indexed keywords

LAPLACE TRANSFORMS; MARKOV PROCESSES; SYSTEMS ANALYSIS; TIME DOMAIN ANALYSIS;

EID: 0036821865     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2002.1041050     Document Type: Conference Paper
Times cited : (5)

References (18)
  • 1
    • 0024680939 scopus 로고
    • The effect of execution policies on the semantics and analysis of stochastic Petri nets
    • M.A. Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, "The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets," IEEE Trans. Software Eng., vol. 15, pp. 832-846, 1989.
    • (1989) IEEE Trans. Software Eng. , vol.15 , pp. 832-846
    • Marsan, M.A.1    Balbo, G.2    Bobbio, A.3    Chiola, G.4    Conte, G.5    Cumani, A.6
  • 2
    • 33846674384 scopus 로고
    • On Petri Nets with deterministic and exponentially distributed firing times
    • M.A. Marsan and G. Chiola, "On Petri Nets with Deterministic and Exponentially Distributed Firing Times," Lecture Notes in Computer Science, vol. 266, pp. 132-145, 1987.
    • (1987) Lecture Notes in Computer Science , vol.266 , pp. 132-145
    • Marsan, M.A.1    Chiola, G.2
  • 3
  • 4
    • 0028422545 scopus 로고
    • Analysis of stochastic Petri nets by the method of supplementary variables
    • R. German and C. Lindemann, "Analysis of Stochastic Petri Nets by the Method of Supplementary Variables," Performance Evaluation, vol. 20, pp. 317-335, 1994.
    • (1994) Performance Evaluation , vol.20 , pp. 317-335
    • German, R.1    Lindemann, C.2
  • 7
    • 0035426519 scopus 로고    scopus 로고
    • Transient analysis of Age-MRSPNs by the method supplementary variables
    • M. Telek and A. Horváth, "Transient Analysis of Age-MRSPNs by the Method Supplementary Variables," Performance Evaluation, vol. 45, no. 4, pp. 205-221, 2001.
    • (2001) Performance Evaluation , vol.45 , Issue.4 , pp. 205-221
    • Telek, M.1    Horváth, A.2
  • 9
    • 0023646347 scopus 로고
    • A note on the effect of preemptive policies on the stability of a priority queue
    • R. Marie and K.S. Trivedi, "A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue," Information Processing Letters, vol. 24, pp. 397-401, 1987.
    • (1987) Information Processing Letters , vol.24 , pp. 397-401
    • Marie, R.1    Trivedi, K.S.2
  • 10
    • 0002343623 scopus 로고
    • Combined preemption policies in MRSPN
    • R. Mittal et al., ed.
    • A. Bobbio and M. Telek, "Combined Preemption Policies in MRSPN," Fault Tolerant Systems and Software, R. Mittal et al., ed., pp. 92-98, 1995.
    • (1995) Fault Tolerant Systems and Software , pp. 92-98
    • Bobbio, A.1    Telek, M.2
  • 11
    • 0033872918 scopus 로고    scopus 로고
    • A modeling framework to implement combined preemption policies in MRSPNs
    • Jan.
    • A. Bobbio, A. Puliafito, and M. Telek, "A Modeling Framework to Implement Combined Preemption Policies in MRSPNs," IEEE Trans. Software Eng., vol. 26, no. 1, pp. 36-54, Jan. 2000.
    • (2000) IEEE Trans. Software Eng. , vol.26 , Issue.1 , pp. 36-54
    • Bobbio, A.1    Puliafito, A.2    Telek, M.3
  • 13
    • 84959609465 scopus 로고
    • The analysis of non-markovian stochastic processes by the inclusion of supplementary variables
    • D.R. Cox, "The Analysis of Non-Markovian Stochastic Processes by the Inclusion of Supplementary Variables," Proc. Cambridge Phylosophical Soc., vol. 51, pp. 433-440, 1955.
    • (1955) Proc. Cambridge Phylosophical Soc. , vol.51 , pp. 433-440
    • Cox, D.R.1
  • 16
    • 0012582323 scopus 로고    scopus 로고
    • Nonexponential stochastic Petri nets: An overview of methodes and techniqueslicies
    • June
    • A. Bobbio and M. Telek, "Nonexponential Stochastic Petri Nets: an Overview of Methodes and Techniqueslicies," Tutorial, June 1997.
    • (1997) Tutorial
    • Bobbio, A.1    Telek, M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.