{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:44:57Z","timestamp":1758267897349},"reference-count":25,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2019,1]]},"abstract":"<jats:p> In the present modeling tools, there is no proper model to describe the fairness of resource scheduling for sharing systems. In order to solve this problem well, we propose a new sharing system and Queue Logical Petri nets. In this paper, a complete process of entering and leaving a garage is modeled by a Queue Logical Petri nets. Based on random arrival and exponential arrival, the average waiting time of vehicles, the average stay time in the queue and the average number of waiting vehicles in the queue are analyzed. According to reachable sequence of Queue Logical Petri net, the Invariant, the utilization of garage and the number of waiting vehicles are analyzed. And the validity of the sharing system with queue is proved by compared with other methods in the experiment. <\/jats:p>","DOI":"10.1142\/s0218194019500062","type":"journal-article","created":{"date-parts":[[2019,2,12]],"date-time":"2019-02-12T06:28:45Z","timestamp":1549952925000},"page":"115-137","source":"Crossref","is-referenced-by-count":5,"title":["Business Process Modeling and Analysis Based on Queue Logical Petri Nets"],"prefix":"10.1142","volume":"29","author":[{"given":"Lei","family":"Liu","sequence":"first","affiliation":[{"name":"College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China"}]},{"given":"Wei","family":"Liu","sequence":"additional","affiliation":[{"name":"College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China"}]},{"given":"Yuyue","family":"Du","sequence":"additional","affiliation":[{"name":"College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong, China"}]}],"member":"219","published-online":{"date-parts":[[2019,2,11]]},"reference":[{"key":"S0218194019500062BIB002","author":"Wang S.","year":"2018","journal-title":"IEEE Trans. Syst. Man Cybern."},{"issue":"5","key":"S0218194019500062BIB003","first-page":"1309","volume":"24","author":"Ding Z. J.","year":"2008","journal-title":"J. Inf. Sci. Eng."},{"key":"S0218194019500062BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-016-0440-7"},{"issue":"6","key":"S0218194019500062BIB005","first-page":"4255","volume":"12","author":"Wang S.","year":"2018","journal-title":"IEEE Access"},{"issue":"5","key":"S0218194019500062BIB006","first-page":"201","volume":"25","author":"Zhidan Z.","year":"2011","journal-title":"J. Circuits Syst."},{"key":"S0218194019500062BIB007","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041054"},{"key":"S0218194019500062BIB008","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2013.879924"},{"issue":"1","key":"S0218194019500062BIB009","first-page":"22","volume":"34","author":"Li H. X.","year":"2015","journal-title":"J. Shandong Univ. Sci. Technol."},{"key":"S0218194019500062BIB010","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-014-3002-9"},{"key":"S0218194019500062BIB011","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2010.541943"},{"key":"S0218194019500062BIB012","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2011.617472"},{"key":"S0218194019500062BIB013","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2311392"},{"key":"S0218194019500062BIB014","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.10.014"},{"key":"S0218194019500062BIB015","doi-asserted-by":"publisher","DOI":"10.3233\/JIFS-169160"},{"key":"S0218194019500062BIB016","author":"Li Y.","year":"2017","journal-title":"Appl. Soft Comput."},{"key":"S0218194019500062BIB017","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2008.11.025"},{"issue":"1","key":"S0218194019500062BIB018","first-page":"29","volume":"34","author":"Tian Y. H.","year":"2015","journal-title":"J. Shandong Univ. Sci. Technol."},{"key":"S0218194019500062BIB019","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2743113"},{"key":"S0218194019500062BIB020","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2838765"},{"key":"S0218194019500062BIB021","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-017-0536-8"},{"issue":"10","key":"S0218194019500062BIB022","volume":"34","author":"Huifang Li","year":"2017","journal-title":"Appl. Res. Comput."},{"issue":"4","key":"S0218194019500062BIB023","first-page":"8221","volume":"25","author":"Hou R. H.","year":"2005","journal-title":"Comput. Appl."},{"issue":"14","key":"S0218194019500062BIB024","first-page":"1674","volume":"12","author":"Cui Ya Jun","year":"2002","journal-title":"Journal of Ankang Teachers College"},{"issue":"1","key":"S0218194019500062BIB025","first-page":"433","volume":"6","author":"Antunes Ingrid","year":"2016","journal-title":"Int. Conf. Automation Science and Engineering"},{"key":"S0218194019500062BIB027","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2336874"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194019500062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T12:35:07Z","timestamp":1565181307000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194019500062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1]]},"references-count":25,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2019,2,11]]},"published-print":{"date-parts":[[2019,1]]}},"alternative-id":["10.1142\/S0218194019500062"],"URL":"https:\/\/doi.org\/10.1142\/s0218194019500062","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1]]}}}