{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T05:41:31Z","timestamp":1735882891179,"version":"3.32.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,3,1]],"date-time":"1993-03-01T00:00:00Z","timestamp":730944000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1993,3]]},"DOI":"10.1007\/bf01974171","type":"journal-article","created":{"date-parts":[[2005,7,30]],"date-time":"2005-07-30T21:36:16Z","timestamp":1122759376000},"page":"43-62","source":"Crossref","is-referenced-by-count":13,"title":["Integration of Petri nets and moment generating function approaches for system performance evaluation"],"prefix":"10.1007","volume":"3","author":[{"given":"Mengchu","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Dianlong","family":"Guo","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Dicesare","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01974171_CR1","doi-asserted-by":"crossref","unstructured":"T. Agerwala and Y. Choed-Amphai, \u201cA synthesis rule for concurrent systems,\u201dProc. of 15th Design Automation Conference, Las Vegas, NV, 1978, pp. 305\u2013311.","DOI":"10.1109\/DAC.1978.1585190"},{"key":"BF01974171_CR2","doi-asserted-by":"crossref","unstructured":"J. Campos, J.M. Colom, M. Silva, \u201cPerformance evaluation of repetitive automated manufacturing systems\u201d, inProc. of Second Rensselaer's Conf. on Computer Integrated Manufacturing, Troy, NY, 1990, pp. 74\u201381.","DOI":"10.1109\/CIM.1990.128074"},{"key":"BF01974171_CR3","doi-asserted-by":"crossref","unstructured":"P. Chen, S.C. Bruell, G. Balbo, \u201cAlternative methods for incorporating nonexponential distributions into stochastic timed Petri nets,\u201dProc. the Third IEEE Int. Workshop on Timed Petri Nets and Performance Models, Tokyo. 1989, pp. 187\u2013197.","DOI":"10.1109\/PNPM.1989.68552"},{"key":"BF01974171_CR4","unstructured":"G. Chiola, \u201cA software package for the analysis of generalized stochastic Petri net models,\u201d inProc. IEEE Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985, pp. 136\u2013143."},{"key":"BF01974171_CR5","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1017\/S0305004100030231","volume":"51","author":"D.R. Cox","year":"1955","unstructured":"D.R. Cox, \u201cA use of complex probabilities in the theory of stochastic process\u201d,Proc. Cambridge Philosophical Society, vol. 51, pp. 313\u2013319, 1955.","journal-title":"Proc. Cambridge Philosophical Society"},{"key":"BF01974171_CR6","unstructured":"A. Cumani, \u201cESP \u2014 a package for the evaluation of stochastic Petri nets with phase-type distributed transition times,\u201d inProc. IEEE Int. Workshop on Timed Petri Nets, Torino, Italy, 1985."},{"key":"BF01974171_CR7","volume-title":"Modeling and Control of Automated Manufacturing Systems","author":"A.A. Desrochers","year":"1990","unstructured":"A.A. Desrochers.Modeling and Control of Automated Manufacturing Systems. IEEE Computer Society Press: Washington, DC, 1990."},{"key":"BF01974171_CR8","doi-asserted-by":"crossref","unstructured":"J.B. Dugan, K.S. Trivedi, R.M. Geist, and V.F. Nicola, \u201cExtended stochastic Petri nets: application and analysis\u201d, inProc. PERFORMANCE 84, Paris, France, December 1984, pp. 507\u2013519.","DOI":"10.21236\/ADA148439"},{"key":"BF01974171_CR9","unstructured":"J.B. Dugan, A. Bobbio, A. Ciardo, and K.S. Trivedi, \u201cThe design of a unified package for the solution of stochastic Petri net models\u201d1985 Int. Workshop on Timed Petri Nets, Torino, Italy, 1985, pp. 6\u201313."},{"key":"BF01974171_CR10","volume-title":"Informatik Fachberichte","author":"G. Florin","year":"1982","unstructured":"G. Florin and S. Natkin, \u201cEvaluation based upon stochastic Petri nets of the maximum throughput of a full duplex protocol,\u201d inInformatik Fachberichte C. Girault and W. Reisig (eds.), Springer-Verlag NY, 1982."},{"issue":"no. 4","key":"BF01974171_CR11","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/32.16598","volume":"15","author":"G. Florin","year":"1989","unstructured":"G. Florin and S. Natkin, \u201cNecessary and sufficient ergodicity condition for open synchronized queueing networks,\u201dIEEE Trans. on Software Engineering, vol. 15, no. 4, pp. 367\u2013380, 1989.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"no. 2","key":"BF01974171_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0164-1212(86)90029-4","volume":"1","author":"G. Florin","year":"1986","unstructured":"G. Florin and S. Natkin, \u201cOne-place unbounded stochastic Petri nets: ergodic criteria and steady-state solutions,\u201dJournal of Systems and Software, vol. 1, no. 2, pp. 103\u2013115, 1986.","journal-title":"Journal of Systems and Software"},{"issue":"no. 7","key":"BF01974171_CR13","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1109\/TAC.1987.1104665","volume":"32","author":"Y.C. Ho","year":"1987","unstructured":"Y.C. Ho, \u201cPerformance evaluation and perturbation analysis of discrete event dynamic systems,\u201dIEEE Trans. on Automatic Control, vol. 32, no. 7, pp. 563\u2013572, July 1987.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"BF01974171_CR14","unstructured":"D.L. Guo, F. DiCesare, and M.C. Zhou, \u201cA moment generating function based approach for evaluating extended stochastic Petri nets,\u201dIEEE Transactions on Automatic Control, vol. 37., no. 12, 1992."},{"key":"BF01974171_CR15","doi-asserted-by":"crossref","unstructured":"D.L. Guo, F. DiCesare, and M.C. Zhou, \u201cMoment generating function approach to performance analysis of extended stochastic Petri nets,\u201dProc. of IEEE Int. Conf. on Robotics and Automation, Sacramento, CA, 1991, pp. 1309\u20131314.","DOI":"10.1109\/ROBOT.1991.131793"},{"issue":"no. 4","key":"BF01974171_CR16","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1109\/37.56281","volume":"10","author":"Y.T. Leung","year":"1990","unstructured":"Y.T. Leung and R. Suri, \u201cPerformance evaluation of discrete manufacturing systems,\u201dIEEE Magazine Control Systems, vol. 10, no. 4, pp. 77\u201386, June 1990.","journal-title":"IEEE Magazine Control Systems"},{"key":"BF01974171_CR17","doi-asserted-by":"crossref","unstructured":"H. Jungnith and A.A. Desrochers \u201cFlow equivalent nets for the performance analysis of flexible manufacturing systems,\u201d inProc. of IEEE Int. Conf. on Robotics and Automation, Sacramento, CA, 1991, pp. 122\u2013127.","DOI":"10.1109\/ROBOT.1991.131565"},{"key":"BF01974171_CR18","volume-title":"Queueing Systems","author":"L. Kleirock","year":"1975","unstructured":"L. Kleirock,Queueing Systems. Wiley-Interscience: NY, 1975."},{"issue":"no. 2","key":"BF01974171_CR19","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M.A. Marsan","year":"1984","unstructured":"M.A. Marsan, G. Balbo, and G. Conte, \u201cA class of generalized stochastic Petri nets for performance analysis of multiprocessor systems,\u201dACM TOCS, vol. 2, no. 2, pp. 93\u2013122, May 1984.","journal-title":"ACM TOCS"},{"key":"BF01974171_CR20","first-page":"132","volume":"254","author":"M.A. Marsan","year":"1986","unstructured":"M.A. Marsan and G. Chiola, \u201cOn Petri nets with deterministic and exponentially distributed firing times,\u201dLecture Notes in Computer Science, no. 254, pp. 132\u2013145, 1986.","journal-title":"Lecture Notes in Computer Science"},{"issue":"no. 7","key":"BF01974171_CR21","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","volume":"15","author":"M.A. Marsan","year":"1989","unstructured":"M.A. Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, A. Cumani, \u201cThe effects of execution policies on the semantics and analysis of stochastic Petri nets,\u201dIEEE Trans. on Software Engineering, vol. 15, no. 7, pp. 832, 1989.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"BF01974171_CR22","volume-title":"Electronic Circuits, Signal, and Systems","author":"S.J. Mason","year":"1960","unstructured":"S.J. Mason and H.J. Zimmermann,Electronic Circuits, Signal, and Systems, John Wiley & Sons: NY, 1960."},{"issue":"no. 9","key":"BF01974171_CR23","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"3","author":"M.K. Molloy","year":"1982","unstructured":"M.K. Molloy, \u201cPerformance analysis using stochastic Petri nets,\u201dIEEE Trans. on Computers, vol. 3, no. 9, pp. 913\u2013917, 1982.","journal-title":"IEEE Trans. on Computers"},{"issue":"no. 4","key":"BF01974171_CR24","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata, \u201cPetri nets: properties, analysis and application,\u201dProc of the IEEE, vol. 77, no. 4, pp. 541\u2013579, 1989.","journal-title":"Proc of the IEEE"},{"key":"BF01974171_CR25","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson,Petri Net Theory and the Modeling of Systems. Prentice-Hall: Englewood Cliffs, NJ, 1981."},{"issue":"no. 5","key":"BF01974171_CR26","first-page":"267","volume":"17","author":"A.A.B. Pritsker","year":"1966","unstructured":"A.A.B. Pritsker and W.W. Happ, \u201cGERT: Graph Evaluation and Review Technique, Part 1, Fundamentals,\u201dJournal of Industrial Engineering, vol. 17, no. 5, pp. 267\u2013274, 1966.","journal-title":"Journal of Industrial Engineering"},{"issue":"no. 6","key":"BF01974171_CR27","first-page":"293","volume":"17","author":"A.A.B. Pritsker","year":"1966","unstructured":"A.A.B. Pritsker and G.E. Whitehouse, \u201cGERT: Graph Evaluation and Review Technique, Part 2, Probabilistic and Engineering Applications,\u201dJournal of Industrial Engineering, vol. 17, no. 6, pp. 293\u2013303, 1966.","journal-title":"Journal of Industrial Engineering"},{"key":"BF01974171_CR28","volume-title":"Modeling and Analysis Using Q-GERT Networks","author":"A.A.G. Pritsker","year":"1979","unstructured":"A.A.G. Pritsker,Modeling and Analysis Using Q-GERT Networks. John Wiley & Sons: NY, 1979."},{"key":"BF01974171_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"W. Reisig,Petri Nets: An Introduction. Springer-Verlag: NY, 1985."},{"key":"BF01974171_CR30","volume-title":"Las redes de Petri en la Automatica y la Informatica","author":"M. Silva","year":"1985","unstructured":"M. Silva,Las redes de Petri en la Automatica y la Informatica. Editorial AC Madrid, 1985."},{"key":"BF01974171_CR31","volume-title":"Systems Analysis and Design Using Network Techniques","author":"G.E. Whitehouse","year":"1973","unstructured":"G.E. Whitehouse,Systems Analysis and Design Using Network Techniques. Prentice Hall: Englewood Cliffs, NJ, 1973."},{"key":"BF01974171_CR32","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"R. Valette, \u201cAnalysis of Petri nets by stepwise refinements,\u201dJ. of Compt. and Syst. Sci., vol. 18, pp. 35\u201346, 1979.","journal-title":"J. of Compt. and Syst. Sci."},{"key":"BF01974171_CR33","first-page":"191","volume-title":"Advance in Petri Nets 1986","author":"R. Valette","year":"1987","unstructured":"R. Valette, \u201cNets in production systems,\u201d W. Brauer, W. Reisig, and G. Rozenberg (eds.).Advance in Petri Nets 1986, vol. 255, part I, Springer-Verlag: NY, pp. 191\u2013217, 1987."},{"key":"BF01974171_CR34","first-page":"125","volume":"14","author":"N. Viswanadham","year":"1989","unstructured":"N. Viswanadham and Y. Narahari, \u201cStochastic Petri net models for performance evaluation of automated manufacturing systems,\u201dInformation and Decision Technologies, vol. 14, pp. 125\u2013142, 1989.","journal-title":"Information and Decision Technologies"},{"issue":"no. 5","key":"BF01974171_CR35","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1109\/21.44011","volume":"19","author":"M.C. Zhou","year":"1989","unstructured":"M.C. Zhou and F. DiCesare, \u201cAdaptive design of Petri net controllers for error recovery in automated manufacturing systems,\u201dIEEE Trans. on Systems, Man, and Cybernetics, vol. 19, no. 5, pp. 963\u2013973, 1989.","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"BF01974171_CR36","unstructured":"M.C. Zhou, F. DiCesare, and D. Rudolph, \u201cControl of a flexible manufacturing system using Petri nets,\u201d in Reprints of1990 IFAC World Congress, Tallin Russia, vol. 9, pp. 43\u201348, August 1990."},{"key":"BF01974171_CR37","doi-asserted-by":"crossref","unstructured":"M.C. Zhou, F. DiCesare, and D. Guo, \u201cModeling and performance analysis of a resource-sharing manufacturing system using stochastic Petri nets,\u201d inProc IEEE Int. Symp. on Intelligent Control, Philadelphia, PA, 1990, pp. 1005\u20131010.","DOI":"10.1109\/ISIC.1990.128577"},{"key":"BF01974171_CR38","unstructured":"M.C. Zhou,A Theory for the Synthesis and Augmentation of Petri Nets in Automation. Doctoral Dissertation, ECSE Department, Rensselaer Polytechnic Institute, May 1990."},{"key":"BF01974171_CR39","doi-asserted-by":"crossref","unstructured":"M.C. Zhou and F. DiCesare, \u201cA Petri net design method for automated manufacturing systems with shared resources,\u201dProc. of IEEE Conference Robotics and Automation. Cincinnati, OH, 1990, pp. 526\u2013531.","DOI":"10.1109\/ROBOT.1990.126033"},{"key":"BF01974171_CR40","unstructured":"M.C. Zhou and F. DiCesare, \u201cHybrid synthesis of Petri nets for manufacturing systems: A case study,\u201d in3rd Int. Symp. on Robotics & Manufacturing (ISRAM '90), Vancouver, Canada, July 1990, pp. 667\u2013672."},{"issue":"no. 4","key":"BF01974171_CR41","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1109\/70.86081","volume":"7","author":"M.C. Zhou","year":"1991","unstructured":"M.C. Zhou and F. DiCesare, \u201cParallel and sequential mutual exclusions for Petri net modeling for manufacturing systems,\u201dIEEE Trans. on Robotics and Automation, vol. 7, no. 4, pp. 515\u2013527, 1991.","journal-title":"IEEE Trans. on Robotics and Automation"},{"issue":"no. 4","key":"BF01974171_CR42","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1115\/1.2905428","volume":"113","author":"M.C. Zhou","year":"1991","unstructured":"M.C. Zhou and M.C. Leu, \u201cModeling and performance analysis of a flexible PCB assembly station using Petri nets,\u201d Trans. of the ASME,J. of Electronic packaging, vol. 113, no. 4, pp. 410\u2013416, 1991.","journal-title":"Trans. of the ASME, J. of Electronic packaging"},{"key":"BF01974171_CR43","doi-asserted-by":"crossref","unstructured":"M.C. Zhou, \u201cCombination of Petri nets and intelligent decision makers for manufacturing systems control,\u201d in6th IEEE International Symposium on Intelligent Control, Arlington, VA, 1991, pp. 146\u2013151.","DOI":"10.1109\/ISIC.1991.187348"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01974171.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01974171\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01974171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T20:55:21Z","timestamp":1735851321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01974171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,3]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,3]]}},"alternative-id":["BF01974171"],"URL":"https:\/\/doi.org\/10.1007\/bf01974171","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1993,3]]}}}