{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:20Z","timestamp":1750220900676,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,9]],"date-time":"2019-12-09T00:00:00Z","timestamp":1575849600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,12,9]]},"DOI":"10.1145\/3374549.3374563","type":"proceedings-article","created":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T10:23:34Z","timestamp":1580207014000},"page":"44-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets"],"prefix":"10.1145","author":[{"given":"Pimporn","family":"Boon-in","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,1,28]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","volume-title":"Stochastic Petri Nets: An Elementary Introduction","author":"Marsan MA.","unstructured":"Marsan , MA. 1984. Stochastic Petri Nets: An Elementary Introduction . In Lecture Notes in Computer Science . Springer . Marsan, MA. 1984. Stochastic Petri Nets: An Elementary Introduction. In Lecture Notes in Computer Science. Springer."},{"volume-title":"Proceedings of the 19th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing","author":"Soomanat K.","key":"e_1_3_2_1_2_1","unstructured":"Soomanat , K. and Vatanawood, W . 2018. Formalism of Stochastic Queueing Network using Stochastic Petri Nets . In Proceedings of the 19th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing . Busan, South Korea. Soomanat, K. and Vatanawood, W. 2018. Formalism of Stochastic Queueing Network using Stochastic Petri Nets. In Proceedings of the 19th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing. Busan, South Korea."},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 8th International Conference on Simulation Tools and Techniques.","author":"Walter J.","year":"2013","unstructured":"Walter , J. 2013 . Parallel Simulation of Queueing Petri Net Models . In Proceedings of the 8th International Conference on Simulation Tools and Techniques. Walter, J. 2013. Parallel Simulation of Queueing Petri Net Models. In Proceedings of the 8th International Conference on Simulation Tools and Techniques."},{"key":"e_1_3_2_1_4_1","unstructured":"Schwartz B. 2016. The Essential Guide To Queueing Theory Revision3.  Schwartz B. 2016. The Essential Guide To Queueing Theory Revision3."},{"key":"e_1_3_2_1_5_1","unstructured":"Adan I. and Resing J. 2015. Queueing Systems. Netherlands.  Adan I. and Resing J. 2015. Queueing Systems. Netherlands."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Zimmermann A. 2008. Stochastic Discrete Event Systems Modeling Evaluation Applications.  Zimmermann A. 2008. Stochastic Discrete Event Systems Modeling Evaluation Applications.","DOI":"10.1007\/978-3-540-74173-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Reisig W. Edited and Rozenberg G. 2019. Carl Adam Petri: Ideas Personality Impact. Springer International Publishing AG. Cham Switzerland.  Reisig W. Edited and Rozenberg G. 2019. Carl Adam Petri: Ideas Personality Impact. Springer International Publishing AG. Cham Switzerland.","DOI":"10.1007\/978-3-319-96154-5"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Choi BW. 1994. Petri net approaches for modeling controlling and validating flexible manufacturing systems.  Choi BW. 1994. Petri net approaches for modeling controlling and validating flexible manufacturing systems.","DOI":"10.1080\/00207549408957044"},{"volume-title":"Performance analysis using stochastic petri nets","author":"Molloy MK.","key":"e_1_3_2_1_9_1","unstructured":"Molloy , MK. 1982. Performance analysis using stochastic petri nets . In IEEE Transactions on Computers . Molloy, MK. 1982. Performance analysis using stochastic petri nets. In IEEE Transactions on Computers."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Bause F. and Kritzinger P. 2002. Stochastic Petri Nets: An Introduction to the Theory.  Bause F. and Kritzinger P. 2002. Stochastic Petri Nets: An Introduction to the Theory.","DOI":"10.1007\/978-3-322-86501-4"},{"key":"e_1_3_2_1_11_1","unstructured":"Stirzaker D. 1999. Probability and Random Variables: A Beginner's Guide.  Stirzaker D. 1999. Probability and Random Variables: A Beginner's Guide."},{"key":"e_1_3_2_1_12_1","volume":"200","author":"Dingle","unstructured":"Dingle , NJ. 200 9. PIPE2: A Tool for the Performance Evaluation of Generalized Stochastic Petri Nets. Dingle, NJ. 2009. PIPE2: A Tool for the Performance Evaluation of Generalized Stochastic Petri Nets.","journal-title":"NJ."}],"event":{"name":"ICSEB 2019: 2019 The 3rd International Conference on Software and e-Business","sponsor":["Waseda University Waseda University"],"location":"Tokyo Japan","acronym":"ICSEB 2019"},"container-title":["Proceedings of the 2019 3rd International Conference on Software and e-Business"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3374549.3374563","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3374549.3374563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:44Z","timestamp":1750203884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3374549.3374563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,9]]},"references-count":12,"alternative-id":["10.1145\/3374549.3374563","10.1145\/3374549"],"URL":"https:\/\/doi.org\/10.1145\/3374549.3374563","relation":{},"subject":[],"published":{"date-parts":[[2019,12,9]]},"assertion":[{"value":"2020-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}