메뉴 건너뛰기




Volumn 12, Issue 1, 2015, Pages 295-308

A polynomial algorithm to performance analysis of concurrent systems via petri nets and ordinary differential equations

Author keywords

Continuous Petri net (CPN); continuous time Markov chain (CTMC); discrete event systems; ordinary differential equation; performance analysis; Stochastic Petri net

Indexed keywords

ALGORITHMS; CHAINS; CONTINUOUS TIME SYSTEMS; DIFFERENTIAL EQUATIONS; DISCRETE EVENT SIMULATION; MARKOV PROCESSES; MESSAGE PASSING; PETRI NETS; STOCHASTIC SYSTEMS;

EID: 84920809501     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2013.2285574     Document Type: Conference Paper
Times cited : (30)

References (43)
  • 1
    • 3042996554 scopus 로고    scopus 로고
    • Continuous and hybrid Petri nets
    • H. Alla and R. David, "Continuous and hybrid Petri nets," J. Circuits Syst. Comput., vol. 8, no. 1, pp. 159-188, 1998.
    • (1998) J. Circuits Syst. Comput. , vol.8 , Issue.1 , pp. 159-188
    • Alla, H.1    David, R.2
  • 4
    • 0001990888 scopus 로고    scopus 로고
    • A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
    • M. Bernardo and R. Gorrieri, "A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time," Theor. Comput. Sci., vol. 202, no. 1-2, pp. 1-54, 1998.
    • (1998) Theor. Comput. Sci. , vol.202 , Issue.1-2 , pp. 1-54
    • Bernardo, M.1    Gorrieri, R.2
  • 5
    • 21344479789 scopus 로고
    • Exact and ordinary lumpability in finite Markov chains
    • P. Buchholz, "Exact and ordinary lumpability in finite Markov chains," J. Appl. Probability, vol. 31, no. 1, pp. 59-75, 1994.
    • (1994) J. Appl. Probability , vol.31 , Issue.1 , pp. 59-75
    • Buchholz, P.1
  • 9
    • 79551645118 scopus 로고    scopus 로고
    • Performance analysis of service composition based on fuzzy differential equations
    • Z. Ding, H. Shen, and A. Kandel, "Performance analysis of service composition based on fuzzy differential equations," IEEE Trans. Fuzzy Syst., vol. 19, no. 1, pp. 164-178, 2011.
    • (2011) IEEE Trans. Fuzzy Syst. , vol.19 , Issue.1 , pp. 164-178
    • Ding, Z.1    Shen, H.2    Kandel, A.3
  • 10
    • 84977510484 scopus 로고
    • Superposed generalized stochastic Petri nets: Definition and efficient solution
    • London, U.K.
    • S. Donatelli, "Superposed generalized stochastic Petri nets: Definition and efficient solution," in Proc. 15th Int. Conf. Appl. Theory of Petri Nets, London, U.K., 1994, pp. 258-277.
    • (1994) Proc. 15th Int. Conf. Appl. Theory of Petri Nets , pp. 258-277
    • Donatelli, S.1
  • 11
    • 85008048565 scopus 로고    scopus 로고
    • A Petri net based correctness analysis of Internet stock trading systems
    • Jan.
    • Y. Du, C. Jiang, and M. C. Zhou, "A Petri net based correctness analysis of Internet stock trading systems," IEEE Trans. Syst., Man, Cybern.: Part C, vol. 38, no. 1, pp. 93-99, Jan. 2008.
    • (2008) IEEE Trans. Syst., Man, Cybern.: Part C , vol.38 , Issue.1 , pp. 93-99
    • Du, Y.1    Jiang, C.2    Zhou, M.C.3
  • 12
    • 34548319662 scopus 로고    scopus 로고
    • Modeling and analysis of real-time cooperative systems using Petri nets
    • Sept.
    • Y. Du, C. Jiang, and M. C. Zhou, "Modeling and analysis of real-time cooperative systems using Petri nets," IEEE Trans. Syst., Man, Cybern.: Part A, vol. 37, no. 5, pp. 643-654, Sept. 2007.
    • (2007) IEEE Trans. Syst., Man, Cybern.: Part A , vol.37 , Issue.5 , pp. 643-654
    • Du, Y.1    Jiang, C.2    Zhou, M.C.3
  • 13
    • 58249122331 scopus 로고    scopus 로고
    • Modeling and monitoring of E-commerce workflows
    • Jan.
    • Y. Y. Du, C. J. Jiang, M. C. Zhou, and Y. Fu, "Modeling and monitoring of E-commerce workflows," Inform. Sci., vol. 179, pp. 995-1006, Jan. 2009.
    • (2009) Inform. Sci. , vol.179 , pp. 995-1006
    • Du, Y.Y.1    Jiang, C.J.2    Zhou, M.C.3    Fu, Y.4
  • 15
    • 79951599760 scopus 로고    scopus 로고
    • Continuous approximation of PEPA models and Petri nets
    • V. Galpin, "Continuous approximation of PEPA models and Petri nets," Int. J. Comput. Aided Eng. Technol., vol. 2, no. 4, pp. 324-339, 2010.
    • (2010) Int. J. Comput. Aided Eng. Technol. , vol.2 , Issue.4 , pp. 324-339
    • Galpin, V.1
  • 16
    • 18944380652 scopus 로고    scopus 로고
    • Performance analysis of retrial queueing systems using generalized stochastic Petri net
    • N. Gharbia and M. Ioualalena, "Performance analysis of retrial queueing systems using generalized stochastic Petri net," Electron. Notes Theoret. Comput. Sci., vol. 65, no. 6, pp. 86-100, 2002.
    • (2002) Electron. Notes Theoret. Comput. Sci. , vol.65 , Issue.6 , pp. 86-100
    • Gharbia, N.1    Ioualalena, M.2
  • 18
    • 0033877460 scopus 로고    scopus 로고
    • SPADES-A process algebra for discrete event simulation
    • P. Harrison and B. Strulo, "SPADES-A process algebra for discrete event simulation," J. Logic Comput., vol. 10, pp. 3-42, 2000.
    • (2000) J. Logic Comput. , vol.10 , pp. 3-42
    • Harrison, P.1    Strulo, B.2
  • 19
    • 77950862663 scopus 로고    scopus 로고
    • A fluid analysis framework for a Markovian process algebra
    • R. A. Hayden and J. T. Bradley, "A fluid analysis framework for a Markovian process algebra," Theoret. Comput. Sci., vol. 411, pp. 2260-2297, 2010.
    • (2010) Theoret. Comput. Sci. , vol.411 , pp. 2260-2297
    • Hayden, R.A.1    Bradley, J.T.2
  • 28
    • 0021942583 scopus 로고
    • Modeling the Ada task system by Petri nets
    • D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato, "Modeling the Ada task system by Petri nets," Comput. Languages, vol. 10, no. 1, pp. 43-61, 1985.
    • (1985) Comput. Languages , vol.10 , Issue.1 , pp. 43-61
    • Mandrioli, D.1    Zicari, R.2    Ghezzi, C.3    Tisato, F.4
  • 29
    • 0020175425 scopus 로고
    • Performance analysis using stochastic Petri nets
    • M. K.Molloy, "Performance analysis using stochastic Petri nets," IEEE Trans. Comput., vol. C-31, no. 9, pp. 913-917, 1982.
    • (1982) IEEE Trans. Comput. , vol.C-31 , Issue.9 , pp. 913-917
    • Molloy, M.K.1
  • 30
    • 0024628787 scopus 로고
    • Detection ofAda static deadlocks using Petri net invariants
    • T. Murata, B. Shenker, and S. Shatz, "Detection ofAda static deadlocks using Petri net invariants," IEEE Trans. Softw. Eng., vol. 15, no. 3, pp. 314-326, 1989.
    • (1989) IEEE Trans. Softw. Eng. , vol.15 , Issue.3 , pp. 314-326
    • Murata, T.1    Shenker, B.2    Shatz, S.3
  • 31
    • 0034318052 scopus 로고    scopus 로고
    • Architecture-based performance analysis applied to a telecommunication system
    • D. Petriu, C. Shousha, and A. Jalnapurkar, "Architecture-based performance analysis applied to a telecommunication system," IEEE Trans. Softw. Eng., vol. 26, no. 11, pp. 1049-1065, 2000.
    • (2000) IEEE Trans. Softw. Eng. , vol.26 , Issue.11 , pp. 1049-1065
    • Petriu, D.1    Shousha, C.2    Jalnapurkar, A.3
  • 32
    • 0000884538 scopus 로고    scopus 로고
    • Petri nets fluidification revisited: Semantics and steady state
    • L. Recalde and M. Silva, "Petri nets fluidification revisited: Semantics and steady state," Eur. J. Autom., APII-JESA, vol. 35, no. 4, pp. 435-449, 2001.
    • (2001) Eur. J. Autom., APII-JESA , vol.35 , Issue.4 , pp. 435-449
    • Recalde, L.1    Silva, M.2
  • 33
    • 8344220389 scopus 로고    scopus 로고
    • On fluidification of Petri nets: From discrete to hybrid and continuous models
    • M. Silva and L. Recalde, "On fluidification of Petri nets: From discrete to hybrid and continuous models," Ann. Rev. Control, vol. 28, pp. 253-266, 2004.
    • (2004) Ann. Rev. Control , vol.28 , pp. 253-266
    • Silva, M.1    Recalde, L.2
  • 35
    • 58149495956 scopus 로고    scopus 로고
    • A Petri net-based method for compatibility analysis and composition of web services in business process execution language
    • Jan.
    • W. Tan, Y. Fan, and M. C. Zhou, "A Petri net-based method for compatibility analysis and composition of web services in business process execution language," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 1, pp. 94-106, Jan. 2009.
    • (2009) IEEE Trans. Autom. Sci. Eng. , vol.6 , Issue.1 , pp. 94-106
    • Tan, W.1    Fan, Y.2    Zhou, M.C.3
  • 36
    • 0020736536 scopus 로고
    • Complexity of analyzing the synchronization structure of concurrent programs
    • R. N. Taylor, "Complexity of analyzing the synchronization structure of concurrent programs," Acta Informatica, vol. 19, no. 1, pp. 57-84, 1983.
    • (1983) Acta Informatica , vol.19 , Issue.1 , pp. 57-84
    • Taylor, R.N.1
  • 38
    • 84856527867 scopus 로고    scopus 로고
    • Scalable differential analysis of process algebra models
    • M. Tribastone, S. Gilmore, and J. Hillston, "Scalable differential analysis of process algebra models," IEEE Trans. Softw. Eng., vol. 38, no. 1, pp. 205-219, 2012.
    • (2012) IEEE Trans. Softw. Eng. , vol.38 , Issue.1 , pp. 205-219
    • Tribastone, M.1    Gilmore, S.2    Hillston, J.3
  • 39
    • 0025531205 scopus 로고
    • Applying Petri net reduction to support Ada tasking deadlock analysis
    • Paris, France
    • S. Tu, S. M. Shatz, and T. Murata, "Applying Petri net reduction to support Ada tasking deadlock analysis," in Proc. 11th Int. Conf. Distrib. Comput. Syst., Paris, France, 1990, pp. 96-103.
    • (1990) Proc. 11th Int. Conf. Distrib. Comput. Syst. , pp. 96-103
    • Tu, S.1    Shatz, S.M.2    Murata, T.3
  • 40
    • 0033418248 scopus 로고    scopus 로고
    • An empirical evaluation of deadlock detection in software architecture specifications
    • J. J. P. Tsai and K. Xu, "An empirical evaluation of deadlock detection in software architecture specifications," Ann. Softw. Eng., vol. 7, pp. 95-126, 1999.
    • (1999) Ann. Softw. Eng. , vol.7 , pp. 95-126
    • Tsai, J.J.P.1    Xu, K.2
  • 41
    • 77249176545 scopus 로고    scopus 로고
    • A Petri net approach to analysis and composition of web services
    • Mar.
    • P. C. Xiong, Y. Fan, andM. C. Zhou, "A Petri net approach to analysis and composition of web services," IEEE Trans. Syst., Man, Cybern.: Part A, vol. 40, no. 2, pp. 376-387, Mar. 2010.
    • (2010) IEEE Trans. Syst., Man, Cybern.: Part A , vol.40 , Issue.2 , pp. 376-387
    • Xiong, P.C.1    Fan, Y.2    Zhou, M.C.3
  • 42
    • 64049115878 scopus 로고    scopus 로고
    • Web service configuration under multiple quality-of-service attributes
    • Apr.
    • P. C. Xiong, Y. Fan, andM. C. Zhou, "Web service configuration under multiple quality-of-service attributes," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 2, pp. 311-321, Apr. 2009.
    • (2009) IEEE Trans. Autom. Sci. Eng. , vol.6 , Issue.2 , pp. 311-321
    • Xiong, P.C.1    Fan, Y.2    Zhou, M.C.3


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