{"id":"https://openalex.org/W2097810426","doi":"https://doi.org/10.1016/s0950-5849(99)00016-6","title":"Formalization and verification of event-driven process chains","display_name":"Formalization and verification of event-driven process chains","publication_year":1999,"publication_date":"1999-07-01","ids":{"openalex":"https://openalex.org/W2097810426","doi":"https://doi.org/10.1016/s0950-5849(99)00016-6","mag":"2097810426"},"language":"en","primary_location":{"id":"doi:10.1016/s0950-5849(99)00016-6","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0950-5849(99)00016-6","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Software Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069762894","display_name":"Wil M. P. van der Aalst","orcid":"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":true,"raw_author_name":"W.M.P. van der Aalst","raw_affiliation_strings":["Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL 5600 MB, Eindhoven, Netherlands","Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL 5600 MB, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5069762894"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":3350,"currency":"USD","value_usd":3350},"apc_paid":null,"fwci":7.8804,"has_fulltext":false,"cited_by_count":565,"citation_normalized_percentile":{"value":0.97709806,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"41","issue":"10","first_page":"639","last_page":"650"},"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.9998999834060669,"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.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7451065182685852},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7058182954788208},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.6341309547424316},{"id":"https://openalex.org/keywords/business-process-reengineering","display_name":"Business process reengineering","score":0.5939446687698364},{"id":"https://openalex.org/keywords/event-driven-process-chain","display_name":"Event-driven process chain","score":0.5918870568275452},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5754933953285217},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.5467119216918945},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5145173072814941},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.4997680187225342},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.46695002913475037},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.45843324065208435},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.45413336157798767},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.4513234496116638},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4419446587562561},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business process management","score":0.42761263251304626},{"id":"https://openalex.org/keywords/artifact-centric-business-process-model","display_name":"Artifact-centric business process model","score":0.4143727123737335},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34621357917785645},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1998724639415741},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.18994376063346863},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.18901416659355164},{"id":"https://openalex.org/keywords/manufacturing-engineering","display_name":"Manufacturing engineering","score":0.11066648364067078}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7451065182685852},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7058182954788208},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.6341309547424316},{"id":"https://openalex.org/C29143872","wikidata":"https://www.wikidata.org/wiki/Q876690","display_name":"Business process reengineering","level":3,"score":0.5939446687698364},{"id":"https://openalex.org/C108923987","wikidata":"https://www.wikidata.org/wiki/Q351041","display_name":"Event-driven process chain","level":5,"score":0.5918870568275452},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5754933953285217},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.5467119216918945},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5145173072814941},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4997680187225342},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.46695002913475037},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.45843324065208435},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.45413336157798767},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.4513234496116638},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4419446587562561},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.42761263251304626},{"id":"https://openalex.org/C162754035","wikidata":"https://www.wikidata.org/wiki/Q17006331","display_name":"Artifact-centric business process model","level":5,"score":0.4143727123737335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34621357917785645},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1998724639415741},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.18994376063346863},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.18901416659355164},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.11066648364067078},{"id":"https://openalex.org/C137335462","wikidata":"https://www.wikidata.org/wiki/Q380772","display_name":"Lean manufacturing","level":2,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s0950-5849(99)00016-6","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0950-5849(99)00016-6","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Software Technology","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/534abe76-0115-4596-a4ca-c506ddf746a2","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/534abe76-0115-4596-a4ca-c506ddf746a2","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Aalst, van der, W M P 1999, 'Formalization and verification of event-driven process chains', Information and Software Technology, vol. 41, no. 10, pp. 639-650. https://doi.org/10.1016/S0950-5849(99)00016-6","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W39280257","https://openalex.org/W153267762","https://openalex.org/W468563988","https://openalex.org/W1507574638","https://openalex.org/W1547501751","https://openalex.org/W1551214605","https://openalex.org/W1583530357","https://openalex.org/W1598405639","https://openalex.org/W1608581186","https://openalex.org/W1971362024","https://openalex.org/W1996109622","https://openalex.org/W1999970959","https://openalex.org/W2062756186","https://openalex.org/W2097685196","https://openalex.org/W2106455253","https://openalex.org/W2113355185","https://openalex.org/W2129466958","https://openalex.org/W2162868766","https://openalex.org/W2484729702","https://openalex.org/W2503255625","https://openalex.org/W2799118477","https://openalex.org/W2914104923","https://openalex.org/W4285719527","https://openalex.org/W6629275542","https://openalex.org/W6632945319","https://openalex.org/W6634708134","https://openalex.org/W6676873262"],"related_works":["https://openalex.org/W2094738736","https://openalex.org/W2115768765","https://openalex.org/W2024724926","https://openalex.org/W4300427051","https://openalex.org/W2068502729","https://openalex.org/W2773613902","https://openalex.org/W66969578","https://openalex.org/W2145639467","https://openalex.org/W2104230847","https://openalex.org/W2387965203"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":23},{"year":2018,"cited_by_count":19},{"year":2017,"cited_by_count":24},{"year":2016,"cited_by_count":22},{"year":2015,"cited_by_count":25},{"year":2014,"cited_by_count":24},{"year":2013,"cited_by_count":42},{"year":2012,"cited_by_count":70}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}