{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:51:10Z","timestamp":1742986270062,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642327001"},{"type":"electronic","value":"9783642327018"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-32701-8_12","type":"book-chapter","created":{"date-parts":[[2012,8,28]],"date-time":"2012-08-28T02:36:48Z","timestamp":1346121408000},"page":"125-139","source":"Crossref","is-referenced-by-count":1,"title":["Livelock and Deadlock Detection for PA Inter-organizational Business Processes"],"prefix":"10.1007","author":[{"given":"Damiano","family":"Falcioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Polzonetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"European Commission: European Interoperability Framework (EIF) Towards Interoperability for European Public Services (2011)"},{"key":"12_CR2","unstructured":"Commission: 5th ministerial egovernment conference. Ministerial Declaration on eGovernment (2009)"},{"key":"12_CR3","unstructured":"Commission, E.: Communication from the commission to the european parliament, the council, the european economic and social committee of the region. a digital agenda for europe. Technical Report COM (2010) 245 final, European Union, Brussels (2010)"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1108\/14637151111136342","volume":"17","author":"B. Niehaves","year":"2011","unstructured":"Niehaves, B., Plattfaut, R.: Collaborative business process management: status quo and quo vadis. Business Process Management Journal\u00a017(3), 384\u2013402 (2011)","journal-title":"Business Process Management Journal"},{"key":"12_CR5","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-15346-4_19","volume-title":"E-Government, E-Services and Global Processes","author":"C. Houy","year":"2010","unstructured":"Houy, C., Fettke, P., Loos, P., van der Aalst, W.M.P., Krogstie, J.: BPM-in-the-Large \u2013 Towards a Higher Level of Abstraction in Business Process Management. In: Janssen, M., Lamersdorf, W., Pries-Heje, J., Rosemann, M. (eds.) EGES\/GISP 2010. IFIP AICT, vol.\u00a0334, pp. 233\u2013244. Springer, Heidelberg (2010)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1016\/S0950-5849(03)00129-0","volume":"45","author":"A. Lindsay","year":"2003","unstructured":"Lindsay, A., Downs, D., Lunn, K.: Business process \u2013 attempts to find a definition. Information and Software Technology\u00a045, 1015\u20131019 (2003)","journal-title":"Information and Software Technology"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/CECW.2005.1","volume-title":"Seventh IEEE International Conference on E-Commerce Technology Workshops","author":"S. Roser","year":"2005","unstructured":"Roser, S., Bauer, B.: A categorization of collaborative business process modeling techniques. In: Seventh IEEE International Conference on E-Commerce Technology Workshops, pp. 43\u201351. IEEE, Los Alamitos (2005)"},{"key":"12_CR8","unstructured":"Object Management Group: Business Process Model And Notation (BPMN) Version 2.0 (2011)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Mendling, J.: Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness. Springer (2008)","DOI":"10.1007\/978-3-540-89224-3_5"},{"issue":"4","key":"12_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Davies, J., Janowski, T., Ojo, A.K., Shukla, A.: Technological foundations of electronic governance. In: Janowski, T., Pardo, T.A. (eds.) ICEGOV. ACM International Conference Proceeding Series, vol.\u00a0232, pp. 5\u201311. ACM (2007)","DOI":"10.1145\/1328057.1328063"},{"key":"12_CR12","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. Hardcover (2000)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-21254-3_3","volume-title":"Language and Automata Theory and Applications","author":"J. Leroux","year":"2011","unstructured":"Leroux, J.: Vector Addition System Reachability Problem: A Short Self-contained Proof. In: Dediu, A.-H., Inenaga, S., Mart\u00edn-Vide, C. (eds.) LATA 2011. LNCS, vol.\u00a06638, pp. 41\u201364. Springer, Heidelberg (2011)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"McMillan, K.: Symbolic model checking: an approach to the state explosion problem. Technical report, DTIC Document (1992)","DOI":"10.1007\/978-1-4615-3190-6_3"},{"key":"12_CR15","volume-title":"Decidability questions for Petri nets","author":"M. Hack","year":"1975","unstructured":"Hack, M.: Decidability questions for Petri nets. Garland Publishing, New York (1975)"},{"key":"12_CR16","volume-title":"Unfoldings: a partial-order approach to model checking","author":"J. Esparza","year":"2008","unstructured":"Esparza, J., Heljanko, K.: Unfoldings: a partial-order approach to model checking. Springer, New York (2008)"},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. Karp","year":"1969","unstructured":"Karp, R., Miller, R.: Parallel program schemata. Journal of Computer and System Sciences\u00a03(2), 147\u2013195 (1969)","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Advancing Democracy, Government and Governance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32701-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T01:37:03Z","timestamp":1557193023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32701-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642327001","9783642327018"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32701-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}