{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:50:16Z","timestamp":1771699816561,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540729082","type":"print"},{"value":"9783540729099","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72909-9_46","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T04:34:14Z","timestamp":1187670854000},"page":"433-444","source":"Crossref","is-referenced-by-count":10,"title":["Dual Workflow Nets: Mixed Control\/Data-Flow Representation for Workflow Modeling and Verification"],"prefix":"10.1007","author":[{"given":"Shaokun","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wanchun","family":"Dou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinjun","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. International Conference on Business Process Management (BPM 2003) (2003)","DOI":"10.1007\/3-540-44895-0_1"},{"key":"46_CR2","series-title":"34(3)","first-page":"44","volume-title":"Special Issue on Scientific Workflows, SIGMOD Record","author":"j. Yu","year":"2005","unstructured":"Yu, j., Buyya,: A taxonomy of scientific workflow systems for grid computing. In: Special Issue on Scientific Workflows, SIGMOD Record. 34(3), pp. 44\u201349. ACM Press, New York (2005)"},{"key":"46_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0166-3615(02)00099-4","volume":"49","author":"D. Liu","year":"2002","unstructured":"Liu, D., Wang, j., Chan, S.C.F., Sun, J., et al.: Modeling workflow processes with colored Petri nets. Computer in Industry\u00a049, 267\u2013281 (2002)","journal-title":"Computer in Industry"},{"key":"46_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) (1996)"},{"issue":"2","key":"46_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing Process Models using Graph Reduction Techniques. Information systems\u00a025(2), 117\u2013134 (2000)","journal-title":"Information systems"},{"key":"46_CR6","unstructured":"Bastos, R.M., Ruiz, D.D.A.: Extending UML Activity Diagram for Workflow Modeling in Production Systems. In: Proceedings of the 35th Hawaii International Conference on System Sciences (2000)"},{"key":"46_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1993","author":"C.A. Ellis","year":"1993","unstructured":"Ellis, C.A., Nutt, G.J.: Modelling and Enactment of Workflow Systems. In: Ajmone Marsan, M. (ed.) Application and Theory of Petri Nets 1993. LNCS, vol.\u00a0691, Springer, Heidelberg (1993)"},{"key":"46_CR8","unstructured":"Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns. QUT Technical report, Queensland University of Technology (2004)"},{"key":"46_CR9","unstructured":"Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data Flow and Validation in Workflow Modelling. In: Proceedings of the 15th Australasian database conference (2004)"},{"issue":"1","key":"46_CR10","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1132357.1132360","volume":"5","author":"M. Varea","year":"2006","unstructured":"Varea, M., Al-Hashimi, B.M., Corte\u00b4s, L.A., Eles, P., Peng, Z.: Dual Flow Nets: Modeling the Control\/Data-Flow Relation in Embedded Systems. ACM Transactions on Embedded Computing Systems\u00a05(1), 54\u201381 (2006)","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"46_CR11","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: The Application of Petri nets to Workflow Management. The Journal of Circuits, Systems and Computers (1998)","DOI":"10.1142\/S0218126698000043"},{"key":"46_CR12","unstructured":"Ling, S., Schmidt, H.: Time Petri nets for Workflow Modeling and Analysis. In: Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (2000)"},{"key":"46_CR13","unstructured":"van der Aalst, W.M.P., Moldt, D., Wienberg, F.: Enacting Interorganizational Work using nets in nets. In: Proceedings of the 1999 Workflow Management Conference (1999)"},{"issue":"6","key":"46_CR14","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1016\/S0306-4379(02)00044-3","volume":"28","author":"J. Lee","year":"2003","unstructured":"Lee, J., Wyner, G.M.: Defining specialization for dataflow diagrams. Information Systems\u00a028(6), 651\u2013671 (2003)","journal-title":"Information Systems"}],"container-title":["Lecture Notes in Computer Science","Advances in Web and Network Technologies, and Information Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72909-9_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:50:54Z","timestamp":1619517054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72909-9_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729082","9783540729099"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72909-9_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}