{"id":"https://openalex.org/W1502063336","doi":"https://doi.org/10.1007/978-3-642-13675-7_6","title":"Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition","display_name":"Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1502063336","doi":"https://doi.org/10.1007/978-3-642-13675-7_6","mag":"1502063336"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-13675-7_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-13675-7_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.qut.edu.au/70736/7/32172189.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070529144","display_name":"Matthias Weidlich","orcid":"https://orcid.org/0000-0003-3325-7227"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]},{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Weidlich","raw_affiliation_strings":["Hasso Plattner Institute at the University of Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasso Plattner Institute at the University of Potsdam, Germany","institution_ids":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024929895","display_name":"Artem Polyvyanyy","orcid":"https://orcid.org/0000-0002-7672-1643"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]},{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Artem Polyvyanyy","raw_affiliation_strings":["Hasso Plattner Institute at the University of Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasso Plattner Institute at the University of Potsdam, Germany","institution_ids":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062764959","display_name":"Jan Mendling","orcid":"https://orcid.org/0000-0002-7260-524X"},"institutions":[{"id":"https://openalex.org/I39343248","display_name":"Humboldt-Universit\u00e4t zu Berlin","ror":"https://ror.org/01hcx6992","country_code":"DE","type":"education","lineage":["https://openalex.org/I39343248"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Mendling","raw_affiliation_strings":["Humboldt-Universit\u00e4t zu Berlin, Germany","Humboldt-Universitat zu Berlin,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Humboldt-Universit\u00e4t zu Berlin, Germany","institution_ids":["https://openalex.org/I39343248"]},{"raw_affiliation_string":"Humboldt-Universitat zu Berlin,Germany","institution_ids":["https://openalex.org/I39343248"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090696351","display_name":"Mathias Weske","orcid":"https://orcid.org/0000-0002-3346-2442"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]},{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mathias Weske","raw_affiliation_strings":["Hasso Plattner Institute at the University of Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasso Plattner Institute at the University of Potsdam, Germany","institution_ids":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":35,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"63","last_page":"83"},"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.9998000264167786,"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.9998000264167786,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.992900013923645,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.7706266641616821},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.622229814529419},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6062983870506287},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6014838218688965},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.589638352394104},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5615978240966797},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5550165176391602},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5461583733558655},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.4780312478542328},{"id":"https://openalex.org/keywords/causal-structure","display_name":"Causal structure","score":0.43383318185806274},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4179225564002991},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29257437586784363},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.27470332384109497},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.2650676369667053},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2561412751674652},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23910585045814514},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.09441927075386047},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.08636659383773804}],"concepts":[{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.7706266641616821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.622229814529419},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6062983870506287},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6014838218688965},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.589638352394104},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5615978240966797},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5550165176391602},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5461583733558655},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.4780312478542328},{"id":"https://openalex.org/C163504300","wikidata":"https://www.wikidata.org/wiki/Q2364925","display_name":"Causal structure","level":2,"score":0.43383318185806274},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4179225564002991},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29257437586784363},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.27470332384109497},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.2650676369667053},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2561412751674652},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23910585045814514},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.09441927075386047},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.08636659383773804},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/978-3-642-13675-7_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-13675-7_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:eprints.qut.edu.au:70736","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.qut.edu.au/70736/7/32172189.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,"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":"Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Proceedings [Lecture Notes in Computer Science, Vol 6128]","raw_type":"Chapter in Book, Report or Conference volume"},{"id":"pmh:oai:jupiter.its.unimelb.edu.au:11343/241601","is_oa":true,"landing_page_url":"http://hdl.handle.net/11343/241601","pdf_url":"http://hdl.handle.net/11343/241601","source":{"id":"https://openalex.org/S4377196259","display_name":"Minerva Access (University of Melbourne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165779595","host_organization_name":"The University of Melbourne","host_organization_lineage":["https://openalex.org/I165779595"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"31st Int Conf on Application and Theory of Petri Nets and Other Models of Concurrency / 10th Int Conf on Application of Concurrency to System Design","raw_type":"Conference Paper"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.228.8708","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.8708","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mendling.com/publications/10-PN-Causal-Behavioural-Profile.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.712.7135","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.712.7135","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.polyvyanyy.com/pdf/WPMW_HPI_BPT_2010_TECHREP.pdf","raw_type":"text"},{"id":"pmh:oai:research.wu.ac.at:openaire_cris_publications/1ac49ef0-da4d-4c80-8bfc-ed1bca2c8ea7","is_oa":false,"landing_page_url":"https://research.wu.ac.at/de/publications/1ac49ef0-da4d-4c80-8bfc-ed1bca2c8ea7","pdf_url":null,"source":{"id":"https://openalex.org/S7407055123","display_name":"WU Research","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Weidlich, M, Polyvyanyy, A, Mendling, J & Weske, M 2010, Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition. in Johan Lilius, Wojciech Penczek (ed.), Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Springer, Lecture Notes in Computer Science, pp. 63 - 83.","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:zenodo.org:5528016","is_oa":true,"landing_page_url":"https://zenodo.org/record/5528016","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:eprints.qut.edu.au:70736","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.qut.edu.au/70736/7/32172189.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,"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":"Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Proceedings [Lecture Notes in Computer Science, Vol 6128]","raw_type":"Chapter in Book, Report or Conference volume"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1502063336.pdf","grobid_xml":"https://content.openalex.org/works/W1502063336.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W174979378","https://openalex.org/W184676844","https://openalex.org/W220604924","https://openalex.org/W1482911025","https://openalex.org/W1502063336","https://openalex.org/W1515231954","https://openalex.org/W1525816981","https://openalex.org/W1527879496","https://openalex.org/W1534309112","https://openalex.org/W1535673446","https://openalex.org/W1540494397","https://openalex.org/W1551214605","https://openalex.org/W1555729963","https://openalex.org/W1560726558","https://openalex.org/W1568986740","https://openalex.org/W1574570499","https://openalex.org/W1582292473","https://openalex.org/W1584463625","https://openalex.org/W1821930315","https://openalex.org/W1931408162","https://openalex.org/W1965237160","https://openalex.org/W1984801861","https://openalex.org/W1984936841","https://openalex.org/W1985245264","https://openalex.org/W1991558265","https://openalex.org/W1991733014","https://openalex.org/W1996109622","https://openalex.org/W2008896880","https://openalex.org/W2024366499","https://openalex.org/W2077479316","https://openalex.org/W2086302464","https://openalex.org/W2098250644","https://openalex.org/W2107441026","https://openalex.org/W2107620109","https://openalex.org/W2114215601","https://openalex.org/W2127030216","https://openalex.org/W2129466958","https://openalex.org/W2136922549","https://openalex.org/W2143753066","https://openalex.org/W2148893609","https://openalex.org/W2149406008","https://openalex.org/W2149550070","https://openalex.org/W2151840478","https://openalex.org/W2152846401","https://openalex.org/W2162868766","https://openalex.org/W2171275211","https://openalex.org/W2205337852","https://openalex.org/W2462966030","https://openalex.org/W2506803452","https://openalex.org/W2561675875","https://openalex.org/W2913814494","https://openalex.org/W2915202175","https://openalex.org/W2915794166"],"related_works":["https://openalex.org/W1586382855","https://openalex.org/W1569743961","https://openalex.org/W2039176376","https://openalex.org/W2950035905","https://openalex.org/W2757968772","https://openalex.org/W2072483141","https://openalex.org/W3098259173","https://openalex.org/W2753729722","https://openalex.org/W3123305972","https://openalex.org/W4249439171"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-17T09:13:05.818461","created_date":"2025-10-10T00:00:00"}