{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T05:35:24Z","timestamp":1731476124857,"version":"3.28.0"},"reference-count":37,"publisher":"Institution of Engineering and Technology (IET)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2010,10,7]]},"DOI":"10.1049\/iet-sen.2008.0062","type":"journal-article","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T23:23:04Z","timestamp":1285284184000},"page":"303-317","source":"Crossref","is-referenced-by-count":11,"title":["Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus"],"prefix":"10.1049","volume":"4","author":[{"given":"L.","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Software, Tsinghua University, Beijing, 100084, People's Republic of China"}]},{"given":"Y.","family":"Lu","sequence":"additional","affiliation":[{"name":"College of Software, Shenzhen University, Shenzhen, 518060, People's Republic of China"}]},{"given":"F.","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Software, Tsinghua University, Beijing, 100084, People's Republic of China"}]}],"member":"265","reference":[{"author":"van der Aalst","key":"10.1049\/iet-sen.2008.0062_r1","first-page":"1"},{"key":"10.1049\/iet-sen.2008.0062_r2","unstructured":"Workflow Management Coalition: \u2018Workflow management coalition terminology & glossary\u2019. wfmc-tc-1011, 1999, http:\/\/www.wfmc.org\/"},{"key":"10.1049\/iet-sen.2008.0062_r3","first-page":"1","volume":"1","author":"Smith","year":"2003"},{"key":"10.1049\/iet-sen.2008.0062_r4","first-page":"1","volume":"3","author":"van der Aalst","year":"2005"},{"key":"10.1049\/iet-sen.2008.0062_r5","first-page":"1","volume":"2","author":"van der Aalst","year":"2004"},{"year":"2005","key":"10.1049\/iet-sen.2008.0062_r6"},{"key":"10.1049\/iet-sen.2008.0062_r7","unstructured":"Petri, C.A.: \u2018Kommunikation mit Automaten\u2019, 1962, PhD, Institut for Instrumentelle Mathematik"},{"key":"10.1049\/iet-sen.2008.0062_r8","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"Mutara","year":"1989","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9219","issn-type":"print"},{"key":"10.1049\/iet-sen.2008.0062_r9","unstructured":"Milner, R.: \u2018Communicating and mobile systems: the Pi-calculus\u2019, (Cambridge University Press 1999)"},{"author":"Bloom","key":"10.1049\/iet-sen.2008.0062_r10"},{"key":"10.1049\/iet-sen.2008.0062_r11","doi-asserted-by":"crossref","unstructured":"Zhang, L., and Yu, Z.: \u2018Web process dynamic stepped extension: Pi-calculus-based model and inference experiments\u2019, Cooperative Information Systems (CoopIS)(Springer 2005),(LNCS,3760) p. 202\u2013219","DOI":"10.1007\/11575771_15"},{"year":"2007","key":"10.1049\/iet-sen.2008.0062_r12"},{"year":"2005","key":"10.1049\/iet-sen.2008.0062_r13"},{"journal-title":"Third Int. Conf. Business Process Management, 2005, (BPM 2005)","year":"2005","author":"Barros","key":"10.1049\/iet-sen.2008.0062_r14"},{"key":"10.1049\/iet-sen.2008.0062_r15","doi-asserted-by":"crossref","unstructured":"Hoffner, Y., Ludwig, H., Gulcu, C., and Grefen, P.: \u2018An architecture for cross-organisational business processes\u2019, Advanced Issues of E-Commerce and Web-Based Information Systems (Springer, 2000) (LNCS,4215) p. 26\u201339","DOI":"10.1109\/WECWIS.2000.853853"},{"key":"10.1049\/iet-sen.2008.0062_r16","first-page":"125","author":"Fan","year":"2002","journal-title":"Proc. Fifth Int. Conf. on Managing Innovations in Manufacturing"},{"key":"10.1049\/iet-sen.2008.0062_r17","first-page":"112","author":"Chebbi","year":"2005","journal-title":"Proc. Int. Conf. on Cooperative Information Systems"},{"key":"10.1049\/iet-sen.2008.0062_r18","first-page":"191","author":"Gong","year":"2006","journal-title":"Asian Semantic Web Conf."},{"key":"10.1049\/iet-sen.2008.0062_r19","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"van der Aalst","year":"1998","ISSN":"http:\/\/id.crossref.org\/issn\/0218-1266","issn-type":"print"},{"key":"10.1049\/iet-sen.2008.0062_r20","first-page":"195","volume":"2","author":"van der Aalst","year":"2002"},{"key":"10.1049\/iet-sen.2008.0062_r21","first-page":"131","volume":"10","author":"Adam","year":"1998"},{"key":"10.1049\/iet-sen.2008.0062_r22","first-page":"1163","volume":"26","author":"Dong","year":"2005"},{"key":"10.1049\/iet-sen.2008.0062_r23","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s00170-007-1316-1","volume":"40","author":"Lu","year":"2009","ISSN":"http:\/\/id.crossref.org\/issn\/0268-3768","issn-type":"print"},{"key":"10.1049\/iet-sen.2008.0062_r24","first-page":"359","volume":"78","author":"Valero","year":"2009"},{"key":"10.1049\/iet-sen.2008.0062_r25","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-48835-9_10","author":"Padget","year":"(Springer 1999)","journal-title":"Proc. First Int. Workshop on Agent Mediated Electronic Commerce (AMET-98)"},{"key":"10.1049\/iet-sen.2008.0062_r26","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1631\/jzus.2003.0643","volume":"4","author":"Yang","year":"2003","ISSN":"http:\/\/id.crossref.org\/issn\/1009-3095","issn-type":"print"},{"journal-title":"Tenth IEEE Int. Conf. on Engineering of Computer-Based Systems 2003 (ECBS 2003)","first-page":"47","author":"Yang","key":"10.1049\/iet-sen.2008.0062_r27"},{"key":"10.1049\/iet-sen.2008.0062_r28","doi-asserted-by":"crossref","unstructured":"Puhlmann, F., and Weske, M.: \u2018Using the pi-calculus for formalizing workflow patterns\u2019, van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F., Business process management, 2005),3649, p. 153\u2013168","DOI":"10.1007\/11538394_11"},{"key":"10.1049\/iet-sen.2008.0062_r29","first-page":"26","author":"Deng","year":"(Springer, 2006)","journal-title":"Int. Conf. on Conceptual Modeling"},{"key":"10.1049\/iet-sen.2008.0062_r30","first-page":"96","volume":"70","author":"Lucchi","year":"2007"},{"key":"10.1049\/iet-sen.2008.0062_r31","doi-asserted-by":"crossref","unstructured":"Lapadula, A., Pugliese, R., and Tiezzi, F.: \u2018A WSDL-based type system for WS-BPEL\u2019, Ciancarini, P., Wiklicky, H., Coordination, (Springer 2006),(LNCS,4038) p. 145\u2013163","DOI":"10.1007\/11767954_10"},{"key":"10.1049\/iet-sen.2008.0062_r32","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/j.ic.2005.07.003","volume":"204","author":"Milner","year":"2006","ISSN":"http:\/\/id.crossref.org\/issn\/0890-5401","issn-type":"print"},{"key":"10.1049\/iet-sen.2008.0062_r33","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1017\/S0960129506005664","volume":"16","author":"Leifer","year":"2006","ISSN":"http:\/\/id.crossref.org\/issn\/0960-1295","issn-type":"print"},{"key":"10.1049\/iet-sen.2008.0062_r34","unstructured":"\u2018Bigraphs and mobile processes (revised)\u2019, Technical Report, UCAM-CL-TR-580, University of Cambridge Computer Laboratory, 2004"},{"key":"10.1049\/iet-sen.2008.0062_r35","unstructured":"Brouwer, W.: \u2018Stable signals and observation in a process specification formalism\u2019, 1990, Master's, University of Amsterdam"},{"key":"10.1049\/iet-sen.2008.0062_r36","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/S0304-3975(96)00253-8","volume":"177","author":"Baeten","year":"1997","ISSN":"http:\/\/id.crossref.org\/issn\/0304-3975","issn-type":"print"},{"journal-title":"IEEE and IFIP Int. Symp. on Theoretical Aspects of Software Engineering","year":"2007","author":"Xu","key":"10.1049\/iet-sen.2008.0062_r37"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen.2008.0062?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:14:33Z","timestamp":1731435273000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen.2008.0062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,7]]},"references-count":37,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,10,7]]}},"alternative-id":["10.1049\/iet-sen.2008.0062"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen.2008.0062","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2010,10,7]]}}}