{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:23:35Z","timestamp":1725459815117},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642362842"},{"type":"electronic","value":"9783642362859"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36285-9_38","type":"book-chapter","created":{"date-parts":[[2013,1,24]],"date-time":"2013-01-24T08:26:30Z","timestamp":1359015990000},"page":"340-351","source":"Crossref","is-referenced-by-count":7,"title":["From Petri Nets to Guard-Stage-Milestone Models"],"prefix":"10.1007","author":[{"given":"Viara","family":"Popova","sequence":"first","affiliation":[]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Bose, R.P.J.C., Verbeek, H.M.W., van der Aalst, W.M.P.: Discovering Hierarchical Process Models using ProM. In: Proc. of CAiSE Forum, CEUR Workshop Proc., vol.\u00a0734, pp. 33\u201340 (2011)","DOI":"10.1007\/978-3-642-29749-6_3"},{"key":"38_CR2","first-page":"3","volume":"32","author":"D. Cohn","year":"2009","unstructured":"Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull.\u00a032, 3\u20139 (2009)","journal-title":"IEEE Data Eng. Bull."},{"key":"38_CR3","unstructured":"G\u00fcnther, C., van der Aalst, W.: Mining activity clusters from low-level event logs, BETA Working Paper Series, WP 165, TU\/e (2006)"},{"key":"38_CR4","unstructured":"Hein, J.L.: Discrete Structures, Logic, and Computability. Jones and Bartlett Publishers (2010)"},{"key":"38_CR5","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"WS-FM","author":"R. Hull","year":"2011","unstructured":"Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F(T.), Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol.\u00a06551, pp. 1\u201324. Springer, Heidelberg (2011)"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Hull, R., et al.: Business Artifacts with Guard-Stage-Milestone Lifecycles: Managing Artifact Interactions with Conditions and Events. In: DEBS 2011, pp. 51\u201362 (2011)","DOI":"10.1145\/2002259.2002270"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The Program Structure Tree: Computing Control Regions in Linear Time. In: Proc. of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, pp. 171\u2013185. ACM (1994)","DOI":"10.1145\/773473.178258"},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, Analysis and Applications. In: Proc. of the IEEE, pp. 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"issue":"3","key":"38_CR9","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A. Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal\u00a042(3), 428\u2013445 (2003)","journal-title":"IBM Systems Journal"},{"key":"38_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/11767138_28","volume-title":"Advanced Information Systems Engineering","author":"C. Ouyang","year":"2006","unstructured":"Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.H.M.: Translating Standard Process Models to BPEL. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 417\u2013432. Springer, Heidelberg (2006)"},{"key":"38_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/11841760_33","volume-title":"Business Process Management","author":"A. Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Decision Mining in ProM. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 420\u2013425. Springer, Heidelberg (2006)"},{"issue":"4","key":"38_CR12","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0218843001000412","volume":"10","author":"W. Aalst van der","year":"2001","unstructured":"van der Aalst, W., Barthelmess, P., Ellis, C., Wainer, J.: Proclets: A Framework for Lightweight Interacting Workflow Processes. Int. J. Cooperative Inf. Syst.\u00a010(4), 443\u2013481 (2001)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"38_CR13","unstructured":"Verbeek, H., Buijs, J.C., van Dongen, B.F., van der Aalst, W.M.P.: Prom: The process mining toolkit. In: Proc. of BPM Demonstration Track. CEUR Workshop Proc., vol.\u00a0615 (2010)"},{"issue":"2","key":"38_CR14","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1080\/00207168908803709","volume":"27","author":"J. Wilson","year":"1989","unstructured":"Wilson, J.: Algorithms for obtaining normal forms of logical expressions. International Journal of Computer Mathematics\u00a027(2), 85\u201390 (1989)","journal-title":"International Journal of Computer Mathematics"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36285-9_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:01:31Z","timestamp":1558393291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36285-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362842","9783642362859"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36285-9_38","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}