{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:44:14Z","timestamp":1725745454728},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402692"},{"type":"electronic","value":"9783642402708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40270-8_18","type":"book-chapter","created":{"date-parts":[[2013,8,17]],"date-time":"2013-08-17T05:41:48Z","timestamp":1376718108000},"page":"220-230","source":"Crossref","is-referenced-by-count":0,"title":["Research on Petri Net and IDEF1X Based Production Scheduling Modeling Method"],"prefix":"10.1007","author":[{"given":"Qin","family":"Jiang-tao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren","family":"Shang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Introduction Theory to Petri Nets","author":"Z.H. Wu","year":"2006","unstructured":"Wu, Z.H.: Introduction Theory to Petri Nets. Mechanical Industry Press, Beijing (2006)"},{"key":"18_CR2","volume-title":"Petri Nets and Application of Model and Control in Production System","author":"Z.B. Jiang","year":"2004","unstructured":"Jiang, Z.B.: Petri Nets and Application of Model and Control in Production System. Mechanical Industry Press, Beijing (2004)"},{"key":"18_CR3","volume-title":"Model and Simulation in Production System","author":"C. Su","year":"2008","unstructured":"Su, C.: Model and Simulation in Production System. Mechanical Industry Press, Beijing (2008)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Jensenand, K., Kristensen, L.M.: Colored Petri Nets: Modeling and Validation of Concurrent Systems. Springer (2009)","DOI":"10.1007\/978-3-540-89287-8_2"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press (2011)","DOI":"10.7551\/mitpress\/8811.001.0001"},{"issue":"S1","key":"18_CR6","first-page":"193","volume":"17","author":"D.G. Wei","year":"2005","unstructured":"Wei, D.G., Wu, S.L.: AUML and PETRI Nets Research of Usage in Combination. Journal of System Simulation\u00a017(S1), 193\u2013196 (2005)","journal-title":"Journal of System Simulation"},{"key":"18_CR7","first-page":"3915","volume":"8","author":"Z.J. Wang","year":"2008","unstructured":"Wang, Z.J., Cai, Z.X.: Based on IDEF0 Model and Indirect Petri Nets Model Methods to Study. Journal of System Simulation\u00a08, 3915\u20133919 (2008)","journal-title":"Journal of System Simulation"},{"key":"18_CR8","first-page":"7","volume":"12","author":"S.P. Yi","year":"2009","unstructured":"Yi, S.P., Pu, J., Gao, Q.X.: Based on Petri Nets Buffer Model of Group Production Unit. Industrial Engineering and Management\u00a012, 7\u201311 (2009)","journal-title":"Industrial Engineering and Management"},{"key":"18_CR9","first-page":"69","volume":"3","author":"D. Huang","year":"2005","unstructured":"Huang, D., Yan, J.W., Qiao, F.: Based on Petri Nets Modeling of Semiconductor Production Line. Computer Engineering\u00a03, 69\u201371 (2005)","journal-title":"Computer Engineering"},{"key":"18_CR10","first-page":"559","volume":"8","author":"G.Z. Jia","year":"2006","unstructured":"Jia, G.Z.: Optimization Method of Model and Simulation Petri Nets in Production System. Journal of System Simulation\u00a08, 559\u2013562 (2006)","journal-title":"Journal of System Simulation"},{"key":"18_CR11","unstructured":"Jensen, K.: Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer (1997)"},{"key":"18_CR12","unstructured":"Jensen, K.: Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Analysis Methods. Monographs in Theoretical Computer Science, vol.\u00a02. Springer (1997)"},{"key":"18_CR13","unstructured":"Jensen, K.: Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Practical Use. Monographs in Theoretical Computer Science, vol.\u00a03. Springer (1997)"},{"key":"18_CR14","unstructured":"Chen, Y.L.: IDEF Model Analysis and Design Method. Tsinghua University Press (2000)"},{"key":"18_CR15","unstructured":"http:\/\/www.informatik.uni-hamburg.de\/TGI\/PetriNets"},{"key":"18_CR16","volume-title":"ML Programming Tutorial","author":"C. Paulson","year":"2005","unstructured":"Paulson, C.: ML Programming Tutorial. Mechanical Industry Press, Beijing (2005); Ke, W. (Trans.)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML: Revised1997. The MIT Press (1997)","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"18_CR18","unstructured":"Ullman, J.D.: Elements of ML Programming (ML 1997edition). Prentice-Hall (1998)"},{"key":"18_CR19","unstructured":"Cai, Z.X.: Artificial Intelligence & Applications. Tsinghua University Press (2007)"}],"container-title":["Lecture Notes in Computer Science","Database Systems for Advanced Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40270-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,4]],"date-time":"2022-03-04T01:48:48Z","timestamp":1646358528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40270-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402692","9783642402708"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40270-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}