{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:49:47Z","timestamp":1725752987472},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642412011"},{"type":"electronic","value":"9783642412028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41202-8_19","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T01:11:19Z","timestamp":1382317879000},"page":"281-296","source":"Crossref","is-referenced-by-count":0,"title":["Translation from Workflow Nets to MSVL"],"prefix":"10.1007","author":[{"given":"Ya","family":"Shi","sequence":"first","affiliation":[]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"19_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. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"3","key":"19_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.infsof.2006.11.004","volume":"50","author":"W.M.P. Aalst van der","year":"2008","unstructured":"van der Aalst, W.M.P., Lassen, K.B.: Translating unstructured workflow processes to readable bpel: Theory and implementation. Information & Software Technology\u00a050(3), 131\u2013159 (2008)","journal-title":"Information & Software Technology"},{"unstructured":"van der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Computing Science Reports 96\/23, Eindhoven University of Technology (1996)","key":"19_CR3"},{"unstructured":"CPN, \n                    \n                      http:\/\/cpntools.org\/","key":"19_CR4"},{"doi-asserted-by":"crossref","unstructured":"Desel, J., Esparza, J.: Free choice Petri nets. Cambridge tracts in theoretical computer science, vol.\u00a040. Cambridge University Press (1995)","key":"19_CR5","DOI":"10.1017\/CBO9780511526558"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-88194-0_12","volume-title":"Formal Methods and Software Engineering","author":"Z. Duan","year":"2008","unstructured":"Duan, Z., Tian, C.: A unified model checking approach with projection temporal logic. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 167\u2013186. Springer, Heidelberg (2008)"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s00236-007-0062-z","volume":"45","author":"Z. Duan","year":"2008","unstructured":"Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica\u00a045(1), 43\u201378 (2008)","journal-title":"Acta Informatica"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-45139-0_4","volume-title":"Model Checking Software","author":"J. Esparza","year":"2001","unstructured":"Esparza, J., Heljanko, K.: Implementing ltl model checking with net unfoldings. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 37\u201356. Springer, Heidelberg (2001)"},{"issue":"3","key":"19_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.5381\/jot.2010.9.3.a4","volume":"9","author":"R. Hauser","year":"2010","unstructured":"Hauser, R.: Analysis and transformation of behavioral models containing overlapped patterns. Journal of Object Technology\u00a09(3), 105\u2013124 (2010)","journal-title":"Journal of Object Technology"},{"unstructured":"Hauser, R.: Automatic transformation from graphical process models to executable code. Eidgen\u00f6ssische Technische Hochschule Z\u00fcrich (2010)","key":"19_CR10"},{"issue":"9","key":"19_CR11","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1016\/0169-7552(93)90095-L","volume":"25","author":"G.J. Holzmann","year":"1993","unstructured":"Holzmann, G.J.: Design and validation of protocols: A tutorial. Computer networks and ISDN systems\u00a025(9), 981\u20131017 (1993)","journal-title":"Computer networks and ISDN systems"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-45140-4_29","volume-title":"Advanced Information Systems Engineering","author":"B. Kiepuszewski","year":"2000","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modeling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.\u00a01789, pp. 431\u2013445. Springer, Heidelberg (2000)"},{"unstructured":"Kleine, J., Reisig, W.: Transformation von offenen Workflow-Netzen zu abstrakten WS-BPEL-Prozessen (in German). Ph.D. thesis, Humboldt-Universit\u00e4t zu Berlin, Berlin (2007)","key":"19_CR13"},{"key":"19_CR14","first-page":"127","volume-title":"8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools","author":"K.B. Lassen","year":"2007","unstructured":"Lassen, K.B., Tjell, S.: Translating colored control flow nets into readable java via annotated java workflow nets. In: Jensen, K. (ed.) 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 127\u2013146. Aarhus University, Aarhus (2007)"},{"key":"19_CR15","series-title":"Lecture Notes in Informatics","first-page":"57","volume-title":"Modellierung 2008","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract bpel processes. In: K\u00fchne, T., Reisig, W., Steimann, F. (eds.) Modellierung 2008. Lecture Notes in Informatics, vol.\u00a0127, pp. 57\u201372. Gesellschaft f\u00fcr Informatik, Bonn (2008)"},{"issue":"4","key":"19_CR16","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Transactions on Software Engineering and Methodology\u00a019(1) (2009)","key":"19_CR17","DOI":"10.1145\/1555392.1555395"},{"issue":"6","key":"19_CR18","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1016\/j.is.2011.10.005","volume":"37","author":"A. Polyvyanyy","year":"2012","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M.: Structuring acyclic process models. Information Systems\u00a037(6), 518\u2013538 (2012)","journal-title":"Information Systems"},{"unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Fahland, D., Weske, M.: Maximal structuring of acyclic process models. The Computing Research Repository abs\/1108.2384 (2011)","key":"19_CR19"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-79228-4_4","volume-title":"Theory and Applications of Models of Computation","author":"C. Tian","year":"2008","unstructured":"Tian, C., Duan, Z.: Propositional projection temporal logic, buchi automata and \u03c9-regular expressions. In: Agrawal, M., Du, D.-Z., Duan, Z., Li, A. (eds.) TAMC 2008. LNCS, vol.\u00a04978, pp. 47\u201358. Springer, Heidelberg (2008)"},{"unstructured":"Workcraft, \n                    \n                      http:\/\/www.workcraft.org\/wiki\/","key":"19_CR21"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41202-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T16:02:14Z","timestamp":1558627334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41202-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412011","9783642412028"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41202-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}