{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:52:24Z","timestamp":1760597544149},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1007\/s11390-013-1323-7","type":"journal-article","created":{"date-parts":[[2013,2,1]],"date-time":"2013-02-01T11:52:54Z","timestamp":1359719574000},"page":"203-216","source":"Crossref","is-referenced-by-count":10,"title":["Nondeterministic Probabilistic Petri Net \u2014 A New Method to Study Qualitative and Quantitative Behaviors of System"],"prefix":"10.1007","volume":"28","author":[{"given":"Yang","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huai-Kou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong-Wei","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pan","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,2,1]]},"reference":[{"key":"1323_CR1","doi-asserted-by":"crossref","unstructured":"Girault C, Valk R. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Application. Springer-Verlag, 2003.","DOI":"10.1007\/978-3-662-05324-9"},{"key":"1323_CR2","unstructured":"Lin C. Stochastic Petri Net and System Performance Evaluation (2nd Edition). Tsinghua University Press, 2005, pp.1\u20132. (in Chinese)"},{"issue":"8","key":"1323_CR3","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1109\/TC.1973.5009150","volume":"C-22","author":"JD Noe","year":"1973","unstructured":"Noe J D, Nutt G J. Macro e-nets representation of parallel systems. IEEE Transactions on Computers, 1973, C-22(8): 718\u2013727.","journal-title":"IEEE Transactions on Computers"},{"issue":"9","key":"1323_CR4","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"PM Merlin","year":"1976","unstructured":"Merlin P M, Farber D J. Recoverability of communication protocols: Implications of a theoretical study. IEEE Transactions on Communications, 1976, 24(9): 1036\u20131043.","journal-title":"IEEE Transactions on Communications"},{"key":"1323_CR5","unstructured":"Molloy M\u00a0K. On the integration of delay and throughput measures in distributed processing models [Ph.D. Thesis]. University of California, Los Angeles, USA, 1981."},{"key":"1323_CR6","unstructured":"Natkin S. Les reseaux de PETRI stochastiques et leur application \u00e0 l\u2019\u00e9valuation des syst\u00e8mes informatiques [Ph.D. Thesis]. CNAM, Paris, France, 1980. (In French)"},{"issue":"1","key":"1323_CR7","first-page":"28","volume":"14","author":"FJW Symons","year":"1980","unstructured":"Symons F JW. Introduction to numerical Petri nets, a general graphical model of concurrent processing systems. Australian Telecommunications Research, 1980, 14(1): 28\u201333.","journal-title":"Australian Telecommunications Research"},{"issue":"2","key":"1323_CR8","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"MA Marsan","year":"1984","unstructured":"Marsan M A, Conte G, Balbo G. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 1984, 2(2): 93\u2013122.","journal-title":"ACM Transactions on Computer Systems"},{"key":"1323_CR9","doi-asserted-by":"crossref","unstructured":"Petri C A. Introduction to general net theory. In Lecture Notes in Computer Science 84, Brauer W (ed.), Springer-Verlag, 1980, pp.1\u201319.","DOI":"10.1007\/3-540-10001-6_21"},{"key":"1323_CR10","doi-asserted-by":"crossref","unstructured":"Balbo G. Introduction to generalized stochastic Petri net. In Proc. the 7th Int. Conf. Formal Methods for Performance Evaluation, May 2007, pp.83\u2013131.","DOI":"10.1007\/978-3-540-72522-0_3"},{"key":"1323_CR11","unstructured":"Baier C, Katoen J P. Principles of Model Checking. MIT Press, 2008."},{"issue":"8","key":"1323_CR12","doi-asserted-by":"crossref","first-page":"1429","DOI":"10.1109\/TMM.2008.2010417","volume":"10","author":"M Albanese","year":"2008","unstructured":"Albanese M, Chellappa R, Moscato V, Picariello A, Subrahmanian V S, Turaga P, Udrea O. A constrained probabilistic Petri net framework for human activity detection in video. IEEE Transactions on Multimedia, 2008, 10(8): 1429\u20131443.","journal-title":"IEEE Transactions on Multimedia"},{"issue":"1\/3","key":"1323_CR13","first-page":"121","volume":"67","author":"M Kudlek","year":"2005","unstructured":"Kudlek M. Probability in Petri nets. Fundamenta Informaticae \u2014 Concurrency Specification and Programming, 2005, 67(1\/3): 121\u2013130.","journal-title":"Fundamenta Informaticae \u2014 Concurrency Specification and Programming"},{"issue":"11","key":"1323_CR14","doi-asserted-by":"crossref","first-page":"1936","DOI":"10.1109\/TAC.2003.819076","volume":"48","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Fabre E, Haar S. Markov nets: Probabilistic models for distributed and concurrent systems. IEEE Transactions on Automatic Control, 2003, 48(11): 1936\u20131950.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"1323_CR15","unstructured":"Segala R. Modeling and verification of randomized distributed real-time systems [Ph.D. Thesis]. Massachusetts Institute of Technology, Cambridge, USA, 1995."},{"key":"1323_CR16","unstructured":"Yuan C Y. Principle and Application of Petri Net. Beijing: Publishing House of Electronics Industry, 2005, pp.66\u201378. (in Chinese)"},{"key":"1323_CR17","unstructured":"Han T T. Diagnosis, synthesis and analysis of probabilistic models [Ph.D. Thesis]. RWTH Aachen University, Germany, 2009."},{"key":"1323_CR18","unstructured":"Ash R B, Dol\u00e9ans-Dade C A. Probability and Measure Theory (2nd edition). Academic Press, 2000, pp.3\u201310."},{"key":"1323_CR19","unstructured":"Milner R. Communication and Concurrency. Prentice-Hall, 1989, pp.10\u201336."},{"key":"1323_CR20","unstructured":"Hoare C A R. Communicating Sequential Processes. Prentice-Hall, 1985, pp.81\u2013100."},{"key":"1323_CR21","doi-asserted-by":"crossref","unstructured":"Heljanko K, Junttila T, Latvala T. Incremental and complete bounded model checking for full PLTL. In Proc. the 17th International Conference on Computer Aided Verification, July 2005, pp.98\u2013111.","DOI":"10.1007\/11513988_10"},{"issue":"5","key":"1323_CR22","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson H, Jonsson B. A logic for reasoning about time and reliability. Formal Aspects of Computing, 1994, 6(5): 512\u2013535.","journal-title":"Formal Aspects of Computing"},{"key":"1323_CR23","doi-asserted-by":"crossref","unstructured":"Bianco A, de Alfaro L. Model checking of probabilistic and nondeterministic systems. In Proc. the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, December 1995, pp.499\u2013513.","DOI":"10.1007\/3-540-60692-0_70"},{"issue":"4","key":"1323_CR24","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00355298","volume":"4","author":"EA Emerson","year":"1992","unstructured":"Emerson E A, Mok A K, Sistla A P, Srinivasan J. Quantitative temporal reasoning. Real Time Systems, 1992, 4(4): 331\u2013352.","journal-title":"Real Time Systems"},{"key":"1323_CR25","doi-asserted-by":"crossref","unstructured":"Baier C, Katoen J P, Hermanns H. Approximate symbolic model checking of continuous-time Markov chains. In Proc. the 10th International Conference on Concurrency Theory, August 1999, pp.146\u2013162.","DOI":"10.1007\/3-540-48320-9_12"},{"key":"1323_CR26","doi-asserted-by":"crossref","unstructured":"Kindler E, Vesper T. ESTL: A temporal logic for events and states. In Proc. the 19th International Conference of Application and Theory of Petri Nets, June 1998, pp.365\u2013384.","DOI":"10.1007\/3-540-69108-1_20"},{"key":"1323_CR27","doi-asserted-by":"crossref","unstructured":"Feng L, Kwiatkowska M, Parker D. Compositional verification of probabilistic systems using learning. In Proc. the 7th International Conference on Quantitative Evaluation of Systems, September 2010, pp.133\u2013142.","DOI":"10.1109\/QEST.2010.24"},{"key":"1323_CR28","unstructured":"Bonet P, Llado C M, Puijaner R, Knottenbelt W\u00a0J. PIPE v2.5: A Petri net tool for performance modelling. In Proc. the 23rd Latin American Conference on Informatics, October 2007."},{"issue":"3","key":"1323_CR29","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/s11390-007-9057-z","volume":"22","author":"CY Yuan","year":"2007","unstructured":"Yuan C Y, ZhaoW, Zhang S\u00a0K, Huang Y. A three-layer model for business processes: Process logic, case semantics and workflow management. Journal of Computer Science and Technology, 2007, 22(3): 410\u2013425.","journal-title":"Journal of Computer Science and Technology"},{"key":"1323_CR30","unstructured":"Varacca D. Probability, nondeterminism and concurrency: Two denotational models for probabilistic computation [Ph.D. Thesis]. University of Aarhus, Aarhus, Denmark, 2003."},{"issue":"2","key":"1323_CR31","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.tcs.2006.01.015","volume":"358","author":"D Varacca","year":"2006","unstructured":"Varacca D, V\u00f6lzer H, Winskel G. Probabilistic event structures and domains. Theoretical Computer Science \u2014 Concurrency Theory, 2006, 358(2): 173\u2013199,","journal-title":"Theoretical Computer Science \u2014 Concurrency Theory"},{"key":"1323_CR32","doi-asserted-by":"crossref","unstructured":"Hermanns H. Interactive markov chains: The quest for quantified quality. In Lecture Notes in Computer Science 2428, 2002, pp.57\u201387.","DOI":"10.1007\/3-540-45804-2_4"},{"key":"1323_CR33","unstructured":"Neuh\u00e4usser M R. Model checking nondeterministic and randomly timed systems [Ph.D. Thesis]. RWTH Aachen University, Germany, 2010."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-013-1323-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-013-1323-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-013-1323-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T23:54:12Z","timestamp":1562630052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-013-1323-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["1323"],"URL":"https:\/\/doi.org\/10.1007\/s11390-013-1323-7","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1]]}}}