{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:02:01Z","timestamp":1743048121055,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642375019"},{"type":"electronic","value":"9783642375026"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37502-6_45","type":"book-chapter","created":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T08:25:55Z","timestamp":1367915155000},"page":"369-375","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computation of Synchronic Distance in Marked S-net"],"prefix":"10.1007","author":[{"given":"Li\u2013li","family":"Wang","sequence":"first","affiliation":[]},{"given":"Xian-wen","family":"Fang","sequence":"additional","affiliation":[]},{"given":"Dao-hao","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,8]]},"reference":[{"key":"45_CR1","unstructured":"Yuan C (2005) The principle of Petri nets. Publishing House of Electronics Industry, Beijing"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"Zhao W, Huang Y, Yuan C (2008) Synchronic distance based workflow logic specification. In: Proceedings of the 2008 10th IEEE international conference on high performance computing and communications, pp 400\u2013405","DOI":"10.1109\/HPCC.2008.48"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Ezpeleta J, Colorn JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):303\u2013306","DOI":"10.1109\/70.370500"},{"key":"45_CR4","unstructured":"Shan Z, Lin C, Ren F et al (2003) Modeling and performance analysis of a multiserver multiqueue system on the grid. In: Proceedings of the ninth IEEE workshop on future trends of distributed computing systems (FTDCS\u201903), pp 800\u2013804"},{"key":"45_CR5","unstructured":"Li Z, Liu B, Li X, Yin Y (2011) Verification of safety-critical software requirement based on Petri-net model checking. Syst Eng Electron 33(2):458\u2013463"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Yuan C, Huang Y, Zhao W, Li X (2011) A study on fairness of place\/transition systems-to make fairness fairer. Trans Inst Meas Control 33(1):50\u201358","DOI":"10.1177\/0142331208095571"},{"key":"45_CR7","unstructured":"Tang Z, Yin J (2012) Extended Petri net-based simulation modeling and analysis. J Univ Electron Sci Technol China 41(1):153\u2013157"},{"issue":"2","key":"45_CR8","first-page":"678","volume":"239","author":"M Zhang","year":"2012","unstructured":"Zhang M, Duan Z (2012) Synthesis rules of WF-nets and their application in process design. J Xidian Univ (Nat Sci) 239(2):678\u2013782","journal-title":"J Xidian Univ (Nat Sci)"},{"key":"45_CR9","unstructured":"Petri CA (1975) Interpretations of net theory. ISF-Report75\u201307,GMD, St.Augustin, F.R.G., pp 700\u2013802"},{"key":"45_CR10","unstructured":"Zhang J, Wu Z (1995) Computation of synchronic distance in marked T-graph. J SE Univ 33(5):100\u2013103"},{"key":"45_CR11","unstructured":"Wu Z (2006) Introduction to Petri nets. China Machine Press, Beijing"},{"key":"45_CR12","unstructured":"Wang LL, Wu ZH, Huan F (2008) Computation of synchronic distance in marked T-net. Comput Sci 35(10):100\u2013103"},{"key":"45_CR13","unstructured":"Zeng QT, Wu ZH (2002) The language characters analysis of analogous S-graph. Comput Sci 29(5):120\u2013122"},{"key":"45_CR14","unstructured":"Duan H, Zeng QT (2004) Analysis on the liveness of S-net. Mini-Micro Syst 25(11):1975\u20131978"}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37502-6_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T12:43:52Z","timestamp":1676810632000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37502-6_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642375019","9783642375026"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37502-6_45","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"8 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}