{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:56:27Z","timestamp":1725512187533},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540728627"},{"type":"electronic","value":"9783540728634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72863-4_68","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T21:55:21Z","timestamp":1186178121000},"page":"667-678","source":"Crossref","is-referenced-by-count":1,"title":["Refinement of Petri Nets in Workflow Integration"],"prefix":"10.1007","author":[{"given":"Zhijun","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaying","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Changjun","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaohui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"68_CR1","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\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"68_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/TSMCA.2003.819490","volume":"34","author":"J. Li","year":"2004","unstructured":"Li, J., Fan, Y., Zhou, M.: Performance Modeling and Analysis of Workflow. IEEE Transactions on System, Man, Cybernetics, Part A\u00a034(2), 229\u2013242 (2004)","journal-title":"IEEE Transactions on System, Man, Cybernetics, Part A"},{"issue":"2","key":"68_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0378-7206(99)00038-5","volume":"37","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Loosely Coupled Inter-organizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries. Information and Management\u00a037(2), 67\u201375 (2000)","journal-title":"Information and Management"},{"key":"68_CR4","doi-asserted-by":"crossref","unstructured":"Zuberek, W.M.: Hierarchical Analysis of Manufacturing Systems Using Petri Nets. In: Proc. IEEE Int. Conf. on S.M.C., Nashville, TN, USA, pp. 3021\u20133026 (2000)","DOI":"10.1109\/ICSMC.2000.884461"},{"key":"68_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"Valette, R.: Analysis of Petri nets by stepwise refinements. Journal of Computer and System Science\u00a018, 35\u201346 (1979)","journal-title":"Journal of Computer and System Science"},{"key":"68_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","volume":"27","author":"I. Suzuki","year":"1983","unstructured":"Suzuki, I., Murata, T.: A Method for Stepwise Refinement and Abstraction of Petri Nets. Journal of Computer and System Science\u00a027, 51\u201376 (1983)","journal-title":"Journal of Computer and System Science"},{"issue":"3","key":"68_CR7","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.tcs.2004.07.016","volume":"328","author":"H. Huang","year":"2004","unstructured":"Huang, H., Cheung, T.Y., Mak, W.M.: Structure and Behavior Preservation by Petri-net-based Refinements in System Design. Theoretical Computer Science\u00a0328(3), 245\u2013269 (2004)","journal-title":"Theoretical Computer Science"},{"key":"68_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-44895-0_23","volume-title":"Business Process Management","author":"P. Chrzastowski-Wachtel","year":"2003","unstructured":"Chrzastowski-Wachtel, P., et al.: A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 415\u2013438. Springer, Heidelberg (2003)"},{"key":"68_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K. Hee van","year":"2003","unstructured":"van Hee, K., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 335\u2013354. Springer, Heidelberg (2003)"},{"issue":"1","key":"68_CR10","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s11390-005-0015-3","volume":"20","author":"C. Jiang","year":"2005","unstructured":"Jiang, C., et al.: Urban Traffic Information Service Application Grid. Journal of Computer Science & Technology\u00a020(1), 134\u2013140 (2005)","journal-title":"Journal of Computer Science & Technology"},{"key":"68_CR11","unstructured":"Ding, Z., Jiang, C.: Petri Nets Modeling and Analysis Method Based on The Refinement Operation (in Chinese). Control and Decision 22(2), to appear (2007)"},{"issue":"1","key":"68_CR12","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"}],"container-title":["Lecture Notes in Computer Science","Computer Supported Cooperative Work in Design III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72863-4_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:49:31Z","timestamp":1619516971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72863-4_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540728627","9783540728634"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72863-4_68","relation":{},"subject":[]}}