乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:04:24Z","timestamp":1725530664035},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642011115"},{"type":"electronic","value":"9783642011122"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01112-2_52","type":"book-chapter","created":{"date-parts":[[2009,4,16]],"date-time":"2009-04-16T07:00:58Z","timestamp":1239865258000},"page":"514-525","source":"Crossref","is-referenced-by-count":1,"title":["A Graphical Query Language for Querying Petri Nets"],"prefix":"10.1007","author":[{"given":"Lan","family":"Xiao","sequence":"first","affiliation":[]},{"given":"Li","family":"Zheng","sequence":"additional","affiliation":[]},{"given":"Jian","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Yi","family":"Huang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Bowers, S., Ludascher, B.: A calculus for propagating semantic annotations through scientific workflow queries. In: Proceedings of Query Languages and Query Processing Workshop, pp. 712\u2013723 (2006)","DOI":"10.1007\/11896548_54"},{"issue":"2","key":"52_CR2","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/1071610.1071613","volume":"30","author":"D. Braga","year":"2005","unstructured":"Braga, D., Campi, A., Ceri, S.: XQBE (xquery by example): A visual interface to the standard xml query language. ACM transactions on database systems\u00a030(2), 398\u2013443 (2005)","journal-title":"ACM transactions on database systems"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"Cao, J., Zhao, H.: A semantic model and query mechanism for service workflow. In: Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, pp. 1850\u20131855 (2008)","DOI":"10.1109\/ICNSC.2008.4525526"},{"issue":"4","key":"52_CR4","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/502795.502797","volume":"19","author":"S. Comai","year":"2001","unstructured":"Comai, S., Damiani, E., Fraternali, P.: Computing graphical queries over xml data. ACM Transactions on Information Systems\u00a019(4), 371\u2013430 (2001)","journal-title":"ACM Transactions on Information Systems"},{"key":"52_CR5","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. The MIT Press, Cambridge (2001)"},{"issue":"2","key":"52_CR6","doi-asserted-by":"publisher","first-page":"74","DOI":"10.4018\/jdm.2004040104","volume":"15","author":"A. Dussart","year":"2004","unstructured":"Dussart, A., Aubert, B.A., Patry, M.: An evaluation of inter-organizational workflow modeling formalisms. Journal of Database Management\u00a015(2), 74\u2013104 (2004)","journal-title":"Journal of Database Management"},{"key":"52_CR7","unstructured":"Ellis, C.A., Nutt, G.J.: Workflow: The process spectrum. In: NSF Workshop on Workflow and Process Automation in Information Systems, pp. 140\u2013145 (1996)"},{"key":"52_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/11767589_24","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"R. Goud","year":"2006","unstructured":"Goud, R., Van Hee, K.M., Post, R.D.J., Van Der Werf, J.M.E.M.: Petriweb: A repository for Petri nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 411\u2013420. Springer, Heidelberg (2006)"},{"key":"52_CR9","doi-asserted-by":"crossref","unstructured":"Juan, Y.C.: A string comparison approach to process logic differences between business process models. In: Proceedings of the 9th Joint Conference on Information Sciences (2006)","DOI":"10.2991\/jcis.2006.23"},{"issue":"1-2","key":"52_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00170-003-1970-x","volume":"26","author":"Y.C. Juan","year":"2005","unstructured":"Juan, Y.C., Ou-Yang, C.: A process logic comparison approach to support business process benchmarking. International Journal of Advanced Manufacturing Technology\u00a026(1-2), 191\u2013210 (2005)","journal-title":"International Journal of Advanced Manufacturing Technology"},{"key":"52_CR11","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1080\/1206212X.2002.11441671","volume":"24","author":"E. Keramopoulos","year":"2002","unstructured":"Keramopoulos, E., Pouyioutas, P., Ptohos, T.: The GOQL graphical query language. International Journal of Computers and Applications\u00a024, 122\u2013128 (2002)","journal-title":"International Journal of Computers and Applications"},{"key":"52_CR12","unstructured":"Lin, D.: An Information-Theoretic Definition of Similarity. In: Proc. Int\u2019l Conf. Machine Learning, ICML 1998 (1998)"},{"key":"52_CR13","doi-asserted-by":"crossref","unstructured":"Markovic, I., Pereira, A.C.: Towards a formal framework for reuse in business process modeling. In: Proceedings of the 2nd International Workshop on Advances in Semantics for Web services, pp. 484\u2013495 (2008)","DOI":"10.1007\/978-3-540-78238-4_49"},{"key":"52_CR14","doi-asserted-by":"crossref","unstructured":"Oberweis, A., S\u00e4nger, V.: Graphical query language for simulation runs. Journal of Microcomputer Applications\u00a017 (1994)","DOI":"10.1006\/jmca.1994.1024"},{"key":"52_CR15","doi-asserted-by":"crossref","unstructured":"Oberweis, A., Stucky, W., Weitz, W., Zimmermann, G.: INCOME\/WF - A Petri Net-Based Approach to Workflow Management, Institute fur Wirtschaftsinformatik, Germany (1996)","DOI":"10.1007\/978-3-642-57737-6_32"},{"key":"52_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11926078_3","volume-title":"The Semantic Web - ISWC 2006","author":"J. Perez","year":"2006","unstructured":"Perez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 30\u201343. Springer, Heidelberg (2006)"},{"key":"52_CR17","volume-title":"Discrete Mathematics and its Applications","author":"K.H. Rosen","year":"2003","unstructured":"Rosen, K.H.: Discrete Mathematics and its Applications. McGraw-Hill, New York (2003)"},{"key":"52_CR18","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1037\/0033-295X.84.4.327","volume":"84","author":"A. Tversky","year":"1977","unstructured":"Tversky, A.: Features of Similarity. Psychological Rev.\u00a084, 327\u2013352 (1977)","journal-title":"Psychological Rev."},{"key":"52_CR19","unstructured":"Wang, C.M.: BASS: BPR Analogy Support System, Master Thesis: National Taiwan University of Science and Technology (1999)"},{"key":"52_CR20","doi-asserted-by":"crossref","unstructured":"Wang, Y., Cao, J., Li, M.: Goal-driven semantic description and query for grid workflow. In: Proceedings of 3rd International Conference on Semantics, Knowledge, and Grid, pp. 598\u2013599 (2007)","DOI":"10.1109\/SKG.2007.87"},{"key":"52_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-540-39993-3_17","volume-title":"From Object-Orientation to Formal Methods","author":"J.G. Vaucher","year":"2004","unstructured":"Vaucher, J.G.: Building Optimal Binary Search Trees from Sorted Values in O(N) Time. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635, pp. 376\u2013388. Springer, Heidelberg (2004)"},{"key":"52_CR22","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), pp. 179\u2013201 (1996)"},{"key":"52_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"52_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","year":"2000","unstructured":"van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.): Business Process Management. LNCS, vol.\u00a01806. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Business Information Processing","Information Systems: Modeling, Development, and Integration"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01112-2_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:40:47Z","timestamp":1558258847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01112-2_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642011115","9783642011122"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01112-2_52","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}