{"id":"https://openalex.org/W1560726558","doi":null,"title":"When are two workflows the same","display_name":"When are two workflows the same","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1560726558","mag":"1560726558"},"language":"en","primary_location":{"id":"pmh:oai:eprints.qut.edu.au:729","doi":null,"is_oa":true,"landing_page_url":"https://eprints.qut.edu.au/729/1/WorkFlowEquiv.pdf","pdf_url":"https://eprints.qut.edu.au/729/1/WorkFlowEquiv.pdf","source":{"id":"https://openalex.org/S4306402607","display_name":"QUT ePrints (Queensland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I160993911","host_organization_name":"Queensland University of Technology","host_organization_lineage":["https://openalex.org/I160993911"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory of Computing 2005: Proceedings of the Eleventh Computing 'The Australian Theory' Symposium (CATS2005)","raw_type":"Chapter in Book, Report or Conference volume"},"volume":null,"type":"conference-paper","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.qut.edu.au/729/1/WorkFlowEquiv.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068967246","display_name":"Jan Hidders","orcid":"https://orcid.org/0000-0002-8865-4329","observed_orcids":["https://orcid.org/0000-0002-8865-4329"]},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jan Hidders","raw_affiliation_strings":["University of Antwerp, Antwerp, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-8865-4329","affiliations":[{"raw_affiliation_string":"University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085212075","display_name":"Marlon Dumas","orcid":"https://orcid.org/0000-0002-9247-7476","observed_orcids":["https://orcid.org/0000-0002-9247-7476"]},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Marlon Dumas","raw_affiliation_strings":["\u2021 Queensland University of Technology, Brisbane, Australia"],"raw_orcid":"https://orcid.org/0000-0002-9247-7476","affiliations":[{"raw_affiliation_string":"\u2021 Queensland University of Technology, Brisbane, Australia","institution_ids":["https://openalex.org/I160993911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069762894","display_name":"Wil M. P. van der Aalst","orcid":"https://orcid.org/0000-0002-0955-6940","observed_orcids":["https://orcid.org/0000-0002-0955-6940"]},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Wil M. P. van der Aalst","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-0955-6940","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023334979","display_name":"Arthur H. M. ter Hofstede","orcid":"https://orcid.org/0000-0002-2730-0201","observed_orcids":["https://orcid.org/0000-0002-2730-0201"]},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Arthur H. M. ter Hofstede","raw_affiliation_strings":["\u2021 Queensland University of Technology, Brisbane, Australia"],"raw_orcid":"https://orcid.org/0000-0002-2730-0201","affiliations":[{"raw_affiliation_string":"\u2021 Queensland University of Technology, Brisbane, Australia","institution_ids":["https://openalex.org/I160993911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039845346","display_name":"Jan Verelst","orcid":"https://orcid.org/0000-0002-5791-2807","observed_orcids":["https://orcid.org/0000-0002-5791-2807"]},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jan Verelst","raw_affiliation_strings":["University of Antwerp, Antwerp, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-5791-2807","affiliations":[{"raw_affiliation_string":"University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.4792,"has_fulltext":true,"cited_by_count":68,"citation_normalized_percentile":{"value":0.97965696,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"41","issue":null,"first_page":"3","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.8442000150680542,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.8442000150680542,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.0803999975323677,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0430000014603138,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow-management","display_name":"workflow management","score":0.8450000286102295},{"id":"https://openalex.org/keywords/workflow-languages","display_name":"workflow languages","score":0.7850000262260437},{"id":"https://openalex.org/keywords/observational-equivalence","display_name":"observational equivalence","score":0.8619999885559082},{"id":"https://openalex.org/keywords/bisimulation","display_name":"bisimulation","score":0.9520000219345093},{"id":"https://openalex.org/keywords/weak-bisimulation","display_name":"weak bisimulation","score":0.7940000295639038},{"id":"https://openalex.org/keywords/branching-bisimulation","display_name":"branching bisimulation","score":0.9980000257492065}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.8794673681259155},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7435540556907654},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6977724432945251},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5853925943374634},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5557088255882263},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4799071252346039},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.4228714108467102},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3149951100349426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28617140650749207},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.22857409715652466},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:eprints.qut.edu.au:729","doi":null,"is_oa":true,"landing_page_url":"https://eprints.qut.edu.au/729/1/WorkFlowEquiv.pdf","pdf_url":"https://eprints.qut.edu.au/729/1/WorkFlowEquiv.pdf","source":{"id":"https://openalex.org/S4306402607","display_name":"QUT ePrints (Queensland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I160993911","host_organization_name":"Queensland University of Technology","host_organization_lineage":["https://openalex.org/I160993911"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory of Computing 2005: Proceedings of the Eleventh Computing 'The Australian Theory' Symposium (CATS2005)","raw_type":"Chapter in Book, Report or Conference volume"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.153.955","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.955","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://eprints.qut.edu.au/archive/00000729/01/WorkFlowEquiv.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.59.3253","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.3253","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://crpit.com/confpapers/CRPITV41Hidders.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:43879","doi":null,"is_oa":false,"landing_page_url":"http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV41Hidders.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400465","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book Section"},{"id":"mag:1560726558","doi":null,"is_oa":false,"landing_page_url":"https://crpit.com/confpapers/CRPITV41Hidders.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Symposium on the Theory of Computing","raw_type":null}],"best_oa_location":{"id":"pmh:oai:eprints.qut.edu.au:729","doi":null,"is_oa":true,"landing_page_url":"https://eprints.qut.edu.au/729/1/WorkFlowEquiv.pdf","pdf_url":"https://eprints.qut.edu.au/729/1/WorkFlowEquiv.pdf","source":{"id":"https://openalex.org/S4306402607","display_name":"QUT ePrints (Queensland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I160993911","host_organization_name":"Queensland University of Technology","host_organization_lineage":["https://openalex.org/I160993911"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory of Computing 2005: Proceedings of the Eleventh Computing 'The Australian Theory' Symposium (CATS2005)","raw_type":"Chapter in Book, Report or Conference volume"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1560726558.pdf","grobid_xml":"https://content.openalex.org/works/W1560726558.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W39280257","https://openalex.org/W1239375374","https://openalex.org/W1531977836","https://openalex.org/W1985161650","https://openalex.org/W2020675906","https://openalex.org/W2047475087","https://openalex.org/W2098981343","https://openalex.org/W2100170925","https://openalex.org/W2121063006","https://openalex.org/W2129466958","https://openalex.org/W2137865376","https://openalex.org/W2143753066","https://openalex.org/W2144545266","https://openalex.org/W2160548641","https://openalex.org/W2178686891","https://openalex.org/W2340102009","https://openalex.org/W2800916935","https://openalex.org/W2911625174","https://openalex.org/W3000511677"],"related_works":["https://openalex.org/W2019860855","https://openalex.org/W7074579186","https://openalex.org/W2003812367","https://openalex.org/W1573291582","https://openalex.org/W2911884403","https://openalex.org/W493870328","https://openalex.org/W4255323948","https://openalex.org/W7096603957","https://openalex.org/W2041561080","https://openalex.org/W1497139784"],"abstract_inverted_index":{"In":[0],"the":[1,17,31,40,58,87,106,118,129,132],"area":[2],"of":[3,13,57,70,83,89,102,108,157,168],"workflow":[4,42,77],"management,":[5],"one":[6],"is":[7,35,92,115,142,152],"confronted":[8],"with":[9,165,170],"a":[10,46,81,100],"large":[11],"number":[12,101],"competing":[14],"languages":[15],"and":[16,65,94,131,148,161,175],"relations":[18],"between":[19,117,145],"them":[20],"(e.g.":[21,173],"relative":[22,63],"expressiveness)":[23],"are":[24,111,123,137,159],"usually":[25],"not":[26,126,138,163],"clear.":[27],"Moreover,":[28],"even":[29],"within":[30],"same":[32,41],"language":[33],"it":[34],"generally":[36],"possible":[37],"to":[38,96],"express":[39],"in":[43,86,105],"di#erent":[44,73,160],"ways,":[45],"feature":[47],"known":[48],"as":[49],"variability.":[50],"This":[51],"paper":[52],"aims":[53],"at":[54],"providing":[55],"some":[56],"formal":[59],"groundwork":[60],"for":[61],"studying":[62],"expressiveness":[64],"variability":[66],"by":[67,128],"defining":[68],"notions":[69,104,156,167],"equivalence":[71,85,103,158],"capturing":[72],"views":[74],"on":[75],"how":[76],"systems":[78],"operate.":[79],"Firstly,":[80],"notion":[82],"observational":[84],"absence":[88],"silent":[90,109,121,135,171],"steps":[91,110,122,136,172],"defined":[93],"related":[95],"classical":[97,166],"bisimulation.":[98],"Secondly,":[99],"presence":[107],"defined.":[112],"A":[113],"distinction":[114],"made":[116],"case":[119,133],"where":[120,134],"visible":[124],"(but":[125],"controllable)":[127],"environment":[130,149],"visible,":[139],"i.e.,":[140],"there":[141],"an":[143],"alternation":[144],"system":[146],"events":[147],"interactions.":[150],"It":[151],"shown":[153],"that":[154],"these":[155],"do":[162],"coincide":[164],"bisimulation":[169],"weak":[174],"branching).":[176]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-10-26T11:51:55.731654","created_date":"2016-06-24T00:00:00"}