{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T10:23:33Z","timestamp":1772274213930,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,8,13]],"date-time":"2009-08-13T00:00:00Z","timestamp":1250121600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1007\/s11761-009-0048-5","type":"journal-article","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T15:24:54Z","timestamp":1250090694000},"page":"189-204","source":"Crossref","is-referenced-by-count":12,"title":["Equivalences of BPMN processes"],"prefix":"10.1007","volume":"3","author":[{"given":"Vitus S. W.","family":"Lam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,13]]},"reference":[{"key":"48_CR1","unstructured":"OMG (2006) Business process modeling notation specification, February 2006. http:\/\/www.bpmn.org\/ . Accessed 28 December 2007"},{"key":"48_CR2","unstructured":"OMG (2008) Business process modeling notation, v1.1, January 2008. http:\/\/www.bpmn.org\/ . Accessed 7 January 2009"},{"key":"48_CR3","volume-title":"Essential business process modeling","author":"M Havey","year":"2005","unstructured":"Havey M (2005) Essential business process modeling. O\u2019Reilly Media, Inc., Sebastopol"},{"key":"48_CR4","unstructured":"Bog A, Puhlmann F, Weske M (2007) The PiVizTool: Simulating choreographies with dynamic binding. In: Demo session of the 5th international conference on business process management, 2007. http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Public\/FrankPuhlmann\/bpm2007-piviztool.pdf . Accessed 17 February 2008"},{"key":"48_CR5","unstructured":"Bog A, Puhlmann F (2006) A tool for the simulation of \u03c0-calculus systems. In: Open.BPM 2006: Gesch\u00e4ftsprozessmanagement mit Open Source-Technologien, 2006. http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Public\/FrankPuhlmann\/PiSimulator_openBPM.pdf . Accessed 9 January 2009"},{"key":"48_CR6","unstructured":"Bog A (2006) Introduction to the PiVizTool. Hasso Plattner Institute, University of Potsdam, 2006. http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Piworkflow\/Simulator\/piviztool-intro.pdf . Accessed 13 January 2009"},{"key":"48_CR7","unstructured":"Bog A (2006) A visual environment for the simulation of business processes based on the pi-calculus. Master\u2019s thesis, Hasso Plattner Institute, University of Potsdam, 2006. http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Public\/FrankPuhlmann\/AnjaBogThesisFinal.pdf . Accessed 13 January 2009"},{"key":"48_CR8","doi-asserted-by":"crossref","unstructured":"Puhlmann F (2007) Soundness verification of business processes specified in the pi-calculus. In: CoopIS 2007. LNCS, vol 4803, pp 6\u201323","DOI":"10.1007\/978-3-540-76848-7_3"},{"key":"48_CR9","unstructured":"Briais S (2005) The ABC User\u2019s Guide, 2005. http:\/\/lamp.epfl.ch\/~sbriais\/abc\/abc_ug.pdf . Accessed 17 February 2008"},{"issue":"14","key":"48_CR10","doi-asserted-by":"crossref","first-page":"3763","DOI":"10.1080\/00207540701199677","volume":"46","author":"C Ou-Yang","year":"2008","unstructured":"Ou-Yang C, Lin YD (2008) BPMN-based business process model feasibility analysis: A Petri Net approach. Int J Prod Res 46(14): 3763\u20133781","journal-title":"Int J Prod Res"},{"key":"48_CR11","doi-asserted-by":"crossref","unstructured":"Ratzer AV, Wells L, Lassen HM, Laursen M, Qvortrup JF, Stissing MS, Westergaard M, Christensen S, Jensen K (2003) CPN tools for editing, simulating, and analysing coloured petri nets. In: ICATPN 2003. LNCS, vol 2679. Springer, Berlin, pp 450\u2013462","DOI":"10.1007\/3-540-44919-1_28"},{"key":"48_CR12","unstructured":"Raedts I, Petkovic M, Usenko YS, van der Werf JM, Groote JF, Somers L (2007) Transformation of BPMN models for behaviour analysis. In: MSVVEIS 2007, pp 126\u2013137"},{"key":"48_CR13","unstructured":"Dijkman RM, Dumas M, Ouyang C (2007) Formal semantics and analysis of BPMN process models using Petri Nets. Preprint (2007); available at http:\/\/eprints.qut.edu.au\/archive\/00007115\/01\/7115.pdf . Accessed 6 July 2008"},{"key":"48_CR14","unstructured":"Dijkman RM, Dumas M, Ouyang C (2007) Formal semantics and automated analysis of BPMN process models. Preprint (2007); available at http:\/\/eprints.qut.edu.au\/archive\/00006859\/ . Accessed 6 July 2008"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"Wong PYH, Gibbons J (2008) A process semantics for BPMN. In: Proceedings of 10th international conference on formal engineering methods. LNCS 5256, pp 355\u2013374","DOI":"10.1007\/978-3-540-88194-0_22"},{"key":"48_CR16","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs"},{"key":"48_CR17","unstructured":"Formal Systems (Europe) Ltd. (2003) Failures-divergence refinement: FDR2 user manual, May 2003. http:\/\/www.fsel.com\/fdr2_download.html . Accessed 20 January 2005"},{"key":"48_CR18","unstructured":"Gruber W (2003) Modelling and transformation of workflows with temporal constraints. PhD thesis, Vienna University of Technology, 2003. http:\/\/www.isys.uni-klu.ac.at\/PDF\/2003-0178-WLG.pdf . Accessed 13 January 2009"},{"key":"48_CR19","unstructured":"Eder J, Gruber W, Pichler H (2005) Transforming workflow graphs. In: First international conference on interoperability of enterprise software and applications, pp 23\u201325"},{"issue":"5","key":"48_CR20","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1049\/iet-sen:20070045","volume":"2","author":"VSW Lam","year":"2008","unstructured":"Lam VSW (2008) Theory for classifying equivalences of UML activity diagrams. IET Softw J 2(5): 391\u2013403","journal-title":"IET Softw J"},{"key":"48_CR21","unstructured":"Lam VSW Formal analysis of BPMN models: a NuSMV-based approach. (submitted)"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-009-0048-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-009-0048-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-009-0048-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:46:03Z","timestamp":1559425563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-009-0048-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,13]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["48"],"URL":"https:\/\/doi.org\/10.1007\/s11761-009-0048-5","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,13]]}}}