{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:43:55Z","timestamp":1725673435932},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642294259"},{"type":"electronic","value":"9783642294266"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29426-6_29","type":"book-chapter","created":{"date-parts":[[2012,4,5]],"date-time":"2012-04-05T07:22:20Z","timestamp":1333610540000},"page":"257-268","source":"Crossref","is-referenced-by-count":1,"title":["Invariant Analysis for Ordering Constraints of Multi-view Business Process Model"],"prefix":"10.1007","author":[{"given":"Jidong","family":"Ge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiyang","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xianglin","family":"Fei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"29_CR1","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"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., van Hee, K.: Workflow Management \u2013 Models, Methods and Systems. MIT Press (2002)","DOI":"10.7551\/mitpress\/7301.001.0001"},{"issue":"9","key":"29_CR3","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Acuna, S.T., Antonio, A.D., Ferre, X., Lopez, M., Mate, L.: The Software process: Modeling, Evaluation and Improvement. Handbook of Software Engineering and Knowledge Engineering, vol.\u00a01, pp. 193\u2013237. World Scientific Publishing Company (2001)","DOI":"10.1142\/9789812389718_0011"},{"key":"29_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free choice Petri nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free choice Petri nets. Cambridge University Press, Cambridge (1995)"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Huang, L., Boehm, B., Hu, H., Ge, J., L\u00fc, J., Qian, C.: Applying the Value\/Petri Process to ERP Software Development in China. In: Osterweil, L.J., et al. (eds.) Proceeding of 28th International Conference of Software Engineering (ICSE 2006), pp. 502\u2013511. ACM Press (2006)","DOI":"10.1145\/1134285.1134356"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Ge, J., Hu, H., Gu, Q., L\u00fc, J.: Modeling Multi-View Business process with Object Petri Nets. In: Proceedings of International Conference on Software Engineering Advances (ICSEA 2006). IEEE Computer Society (2006)","DOI":"10.1109\/ICSEA.2006.261297"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Ge, J., Hu, H., Hu, H.: Calculating the Order Relations of Workflow Net with Invariant Method. In: Matsuo, T., Ishii, N., Lee, R. (eds.) Proceedings of the 9th International Conference on Computer and Information Science (ICIS 2010), pp. 714\u2013719. IEEE Computer Society (2010)","DOI":"10.1109\/ICIS.2010.91"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44919-1_11","volume-title":"Applications and Theory of Petri Nets 2003","author":"M. K\u00f6hler","year":"2003","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling Mobility and Mobile Agents Using Nets within Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 121\u2013139. Springer, Heidelberg (2003)"},{"issue":"4","key":"29_CR10","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"},{"key":"29_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"An Introduction to Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: An Introduction to Petri Nets. Springer, Heidelberg (1985)"},{"key":"29_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Web Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29426-6_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:01:11Z","timestamp":1620126071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29426-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294259","9783642294266"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29426-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}