{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:47:42Z","timestamp":1725472062184},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540465423"},{"type":"electronic","value":"9783540465447"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11893011_79","type":"book-chapter","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T17:44:50Z","timestamp":1161193490000},"page":"623-632","source":"Crossref","is-referenced-by-count":3,"title":["A Workflow Modeling Framework Enhanced with Problem-Solving Knowledge"],"prefix":"10.1007","author":[{"given":"Juan C.","family":"Vidal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Lama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Bugar\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"79_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. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"79_CR2","series-title":"EATCS monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets. Basic concepts, analysis methods and practical use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer, Berlin (1992)"},{"key":"79_CR3","volume-title":"Communicating and mobile systems: The Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"79_CR4","unstructured":"van der Aalst, W.M.P.: Three good reasons for using a Petri Net-based workflow management system. In: Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC 1996), Cambridge, Massachusetts, pp. 179\u2013201 (1996)"},{"key":"79_CR5","doi-asserted-by":"crossref","unstructured":"Fensel, D., Motta, E., Benjamins, V.R., et al.: The Unified Problem-solving Method Development Language UPML. Knowledge and Information Systems\u00a05(1) (2002)","DOI":"10.1007\/s10115-002-0074-5"},{"key":"79_CR6","unstructured":"Workflow Management Coalition: The workflow reference model (1999)"},{"key":"79_CR7","unstructured":"Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes (2001)"},{"key":"79_CR8","doi-asserted-by":"crossref","unstructured":"Kiefer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM (1995)","DOI":"10.1145\/210332.210335"},{"key":"79_CR9","unstructured":"Billington, J., et al.: High-Level Petri Nets - Concepts, definitions and graphical notation. Final Draft International Standard ISO\/IEC 15909 (2002)"},{"issue":"2","key":"79_CR10","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/TII.2005.844433","volume":"1","author":"L. Gomes","year":"2005","unstructured":"Gomes, L., Barros, J.P.: Structuring and composability issues in Petri Nets modeling. IEEE Transactions on Industrial Informatics\u00a01(2), 112\u2013123 (2005)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"79_CR11","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. QUT Technical report FIT-TR-2002-06, Queensland University of Technology (2002)"},{"key":"79_CR12","volume-title":"Product design for manufacture and assembly","author":"G. Boothroyd","year":"1994","unstructured":"Boothroyd, G., Dewhurst, P., Knight, K.A.: Product design for manufacture and assembly. Marcel Dekker Inc., New York (1994)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11893011_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:33:59Z","timestamp":1619508839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11893011_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540465423","9783540465447"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11893011_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}