{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:01:43Z","timestamp":1725577303999},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642183324"},{"type":"electronic","value":"9783642183331"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-18333-1_7","type":"book-chapter","created":{"date-parts":[[2011,1,31]],"date-time":"2011-01-31T06:02:22Z","timestamp":1296453742000},"page":"48-55","source":"Crossref","is-referenced-by-count":1,"title":["A Halal and Quality Attributes Driven Animal Products Formal Producing System Based on HQESPNM"],"prefix":"10.1007","author":[{"given":"Qiang","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenxing","family":"Bao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Schriften des IIM","volume-title":"Kommunkation mit automaten","author":"C.A. Petri","year":"1962","unstructured":"Petri, C.A.: Kommunkation mit automaten. Schriften des IIM, vol.\u00a03. Institut fur Lnstrum Entelle Mathematik, Bonn (1962)"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1985.232230","volume":"SE-11","author":"M.K. Molly","year":"1985","unstructured":"Molly, M.K.: Discrete time stochastic Petri nets. IEEE Trans. Software Eng.\u00a0SE-11(4), 417\u2013423 (1985)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR3","unstructured":"Shao, W.-z., Yang, F.-q.: Object-Oriented System Anysis. Publishing House of Tsinghua University (2006)"},{"key":"7_CR4","unstructured":"Shao, W.-z., Yang, F.-q.: Object-Oriented System Design. Publishing House of Tsinghua University (2007)"},{"issue":"9","key":"7_CR5","first-page":"2455","volume":"18","author":"H.-q. Cui","year":"2006","unstructured":"Cui, H.-q., Wu, Z.-h.: MPI Programs\u2019 Petri Net Model and Its Dynamic Properties. Journal of System Simulation\u00a018(9), 2455\u20132460 (2006)","journal-title":"Journal of System Simulation"},{"issue":"suppl. 1","key":"7_CR6","first-page":"75","volume":"19","author":"F.-m. Qi","year":"2007","unstructured":"Qi, F.-m., Yu, B., Shi, L.-j., Mou, L.-k.: A Modeling Method of Software Project Management Based on Petri Nets. Journal of System Simulation\u00a019(suppl. 1), 75\u201378 (2007)","journal-title":"Journal of System Simulation"},{"key":"7_CR7","volume-title":"The Theory of Petri Net and System Simulation. Wu Zhehui (Trans)","author":"J.L. Peterson","year":"1989","unstructured":"Peterson, J.L.: The Theory of Petri Net and System Simulation. Wu Zhehui (Trans). Publishing House of China University of Mining Technology, Xuzhou (1989)"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties,Analysis and Applications. Proceedings of the IEEE(S0018-9219)\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE(S0018-9219)"},{"key":"7_CR9","volume-title":"The Principles of Petrinet","author":"C. Yuan","year":"2005","unstructured":"Yuan, C.: The Principles of Petrinet. Publishing House of Electronics Industry, Beijing (2005)"},{"key":"7_CR10","volume-title":"Stochastic Petri Nets and System Performance Evaluation","author":"C. Lin","year":"2005","unstructured":"Lin, C.: Stochastic Petri Nets and System Performance Evaluation. Publishing House of Tingshua University, Beijing (2005)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Zhan, H., Gu, J.,: Study of the Normal Generalized Stochastic Petri nets and its Application in Testing System. In: IEEE Instrumentation and Measurement Technology Conference Proceedings, pp. 1123\u20131128 (2006)","DOI":"10.1109\/IMTC.2006.328384"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Renato Vazquez, C., Recalde, L., Silva, M.: Stochastic Continuous-State Approximation of Markovian Petri Net Systems. In: Proceedings of the 47th IEEE Conference on Decision and Control, pp. 901\u2013906 (2008)","DOI":"10.1109\/CDC.2008.4739075"},{"key":"7_CR13","unstructured":"Han, Q., Ding, J., Bao, W.: IEEE Proceedings of the 2009 International Conference on Computer and Computing Technology Applications in Agriculture (2009)"}],"container-title":["IFIP Advances in Information and Communication Technology","Computer and Computing Technologies in Agriculture IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18333-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:02:19Z","timestamp":1606186939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18333-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183324","9783642183331"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18333-1_7","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2011]]}}}