{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:58:38Z","timestamp":1743080318175,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540695332"},{"type":"electronic","value":"9783540695349"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-69534-9_2","type":"book-chapter","created":{"date-parts":[[2008,6,7]],"date-time":"2008-06-07T04:27:34Z","timestamp":1212812854000},"page":"16-31","source":"Crossref","is-referenced-by-count":10,"title":["Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets"],"prefix":"10.1007","author":[{"given":"Pnina","family":"Soffer","sequence":"first","affiliation":[]},{"given":"Maya","family":"Kaner","sequence":"additional","affiliation":[]},{"given":"Yair","family":"Wand","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"2_CR1","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and Verification of Event-Driven Process Chains. Information and Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information and Software Technology"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"2_CR4","volume-title":"Ontology I: The Furniture of the World","author":"M. Bunge","year":"1977","unstructured":"Bunge, M.: Treatise on Basic Philosophy. In: Ontology I: The Furniture of the World, vol.\u00a03. Reidel, Boston (1977)"},{"key":"2_CR5","volume-title":"Ontology II: A World of Systems","author":"M. Bunge","year":"1979","unstructured":"Bunge, M.: Treatise on Basic Philosophy. In: Ontology II: A World of Systems, vol.\u00a04, Reidel, Boston (1979)"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B. Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Informatica\u00a039(3), 143\u2013209 (2003)","journal-title":"Acta Informatica"},{"key":"2_CR7","unstructured":"Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models, PhD thesis, Vienna University of Economics and Business Administration (2007)"},{"key":"2_CR8","unstructured":"Object Management Group (OMG), Business Process Modeling Notation Specification (2006), \n                    \n                      www.bpmn.org"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/11767138_30","volume-title":"Advanced Information Systems Engineering","author":"M. Rosemann","year":"2006","unstructured":"Rosemann, M., Recker, J., Indulska, M., Green, P.: A Study of the Evolution of the Representational Capabilities of Process Modeling Grammars. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 447\u2013461. Springer, Heidelberg (2006)"},{"key":"2_CR10","unstructured":"Sadiq, W., Orlowska, M.E.: On Correctness Issues in Conceptual Modeling of Workflows. In: Proceedings of the 5th European Conference on Information Systems, Cork, Ireland, pp. 943\u2013964 (1997)"},{"issue":"3","key":"2_CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.17705\/1jais.00119","volume":"8","author":"P. Soffer","year":"2007","unstructured":"Soffer, P., Wand, Y.: Goal-Driven Multi-Process Analysis. Journal of the Association of Information Systems\u00a08(3), 175\u2013203 (2007)","journal-title":"Journal of the Association of Information Systems"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-540-75183-0_29","volume-title":"Business Process Management","author":"P. Soffer","year":"2007","unstructured":"Soffer, P., Wand, Y., Kaner, M.: Semantic Analysis of Flow Patterns in Business Process Modeling. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 400\u2013407. Springer, Heidelberg (2007)"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1111\/j.1365-2575.1993.tb00127.x","volume":"3","author":"Y. Wand","year":"1993","unstructured":"Wand, Y., Weber, R.: On the Ontological Expressiveness of Information Systems Analysis and Design Grammars. Journal of Information Systems\u00a0(3), 217\u2013237 (1993)","journal-title":"Journal of Information Systems"},{"issue":"3","key":"2_CR14","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1111\/j.1365-2575.1995.tb00108.x","volume":"5","author":"Y. Wand","year":"1995","unstructured":"Wand, Y., Weber, R.: Towards a Theory of Deep Structure of Information Systems. Journal of Information Systems\u00a05(3), 203\u2013223 (1995)","journal-title":"Journal of Information Systems"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69534-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:40:12Z","timestamp":1558266012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69534-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540695332","9783540695349"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69534-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}