{"id":"https://openalex.org/W2288764139","doi":"https://doi.org/10.1080/17517575.2015.1067723","title":"Designing software for operational decision support through coloured Petri nets","display_name":"Designing software for operational decision support through coloured Petri nets","publication_year":2015,"publication_date":"2015-08-06","ids":{"openalex":"https://openalex.org/W2288764139","doi":"https://doi.org/10.1080/17517575.2015.1067723","mag":"2288764139"},"language":"en","primary_location":{"id":"doi:10.1080/17517575.2015.1067723","is_oa":false,"landing_page_url":"https://doi.org/10.1080/17517575.2015.1067723","pdf_url":null,"source":{"id":"https://openalex.org/S24861202","display_name":"Enterprise Information Systems","issn_l":"1751-7575","issn":["1751-7575","1751-7583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Enterprise Information Systems","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/A5078031491","display_name":"Fabrizio Maria Maggi","orcid":"https://orcid.org/0000-0002-9089-6896"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":true,"raw_author_name":"F.M. Maggi","raw_affiliation_strings":["Institute of Computer Science, University of Tartu, Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Tartu, Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079063663","display_name":"Michael Westergaard","orcid":null},"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":"M. Westergaard","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078031491"],"corresponding_institution_ids":["https://openalex.org/I56085075"],"apc_list":null,"apc_paid":null,"fwci":2.719,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.91193,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"11","issue":"5","first_page":"576","last_page":"596"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":1.0,"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":1.0,"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.9987999796867371,"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.9979000091552734,"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/computer-science","display_name":"Computer science","score":0.7580794095993042},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.618729829788208},{"id":"https://openalex.org/keywords/prom","display_name":"Prom","score":0.5520126819610596},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5486378073692322},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4716697633266449},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.4530073404312134},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.45225101709365845},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4359460771083832},{"id":"https://openalex.org/keywords/decision-support-system","display_name":"Decision support system","score":0.4126177430152893},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.22016721963882446},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17113950848579407},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.15809044241905212},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.1139625608921051},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11022984981536865},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.08681750297546387}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7580794095993042},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.618729829788208},{"id":"https://openalex.org/C2777364248","wikidata":"https://www.wikidata.org/wiki/Q1150737","display_name":"Prom","level":2,"score":0.5520126819610596},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5486378073692322},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4716697633266449},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4530073404312134},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.45225101709365845},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4359460771083832},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.4126177430152893},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.22016721963882446},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17113950848579407},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.15809044241905212},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.1139625608921051},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11022984981536865},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.08681750297546387},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C131872663","wikidata":"https://www.wikidata.org/wiki/Q5284418","display_name":"Obstetrics","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1080/17517575.2015.1067723","is_oa":false,"landing_page_url":"https://doi.org/10.1080/17517575.2015.1067723","pdf_url":null,"source":{"id":"https://openalex.org/S24861202","display_name":"Enterprise Information Systems","issn_l":"1751-7575","issn":["1751-7575","1751-7583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Enterprise Information Systems","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/50b4c5c3-73b6-4570-879e-46aac2073b61","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/50b4c5c3-73b6-4570-879e-46aac2073b61","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":"Maggi, F M & Westergaard, M 2017, 'Designing software for operational decision support through coloured Petri nets', Enterprise Information Systems, vol. 11, no. 5, pp. 576-596. https://doi.org/10.1080/17517575.2015.1067723","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:798726","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=798726","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"ISSN:1751-7575","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:alma.39UBZ_INST:11279288920001241","is_oa":false,"landing_page_url":"https://www.tandfonline.com/doi/abs/10.1080/17517575.2015.1067723","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:library.tue.nl:798726","is_oa":false,"landing_page_url":"http://repository.tue.nl/798726","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"ISSN:1751-7575","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:unibz.it:11279288920001241","is_oa":false,"landing_page_url":"https://bia.unibz.it/esploro/outputs/journalArticle/Designing-software-for-operational-decision-support/991006378898701241","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:tue:oai:pure.tue.nl:publications/50b4c5c3-73b6-4570-879e-46aac2073b61","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/50b4c5c3-73b6-4570-879e-46aac2073b61","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Enterprise Information Systems, 11(5), 576 - 596. Taylor and Francis Ltd.","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6299999952316284,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W47983995","https://openalex.org/W333982422","https://openalex.org/W627788458","https://openalex.org/W1543835543","https://openalex.org/W1568573127","https://openalex.org/W1583487553","https://openalex.org/W1725290782","https://openalex.org/W1820238131","https://openalex.org/W1821647582","https://openalex.org/W1826622293","https://openalex.org/W1856896630","https://openalex.org/W1869389253","https://openalex.org/W1925833847","https://openalex.org/W1951679816","https://openalex.org/W2002128397","https://openalex.org/W2017795715","https://openalex.org/W2040263621","https://openalex.org/W2047829222","https://openalex.org/W2080267935","https://openalex.org/W2104537183","https://openalex.org/W2111492220","https://openalex.org/W2129946623","https://openalex.org/W2166158916","https://openalex.org/W2166351206","https://openalex.org/W2177600108","https://openalex.org/W2307359781","https://openalex.org/W2406000686","https://openalex.org/W2493012834","https://openalex.org/W2493688257","https://openalex.org/W2531818755","https://openalex.org/W2626039875","https://openalex.org/W3165744266","https://openalex.org/W4230145224","https://openalex.org/W4241930763","https://openalex.org/W4246034958","https://openalex.org/W4249484115","https://openalex.org/W4250851408"],"related_works":["https://openalex.org/W1938017683","https://openalex.org/W2158814988","https://openalex.org/W1543378523","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2901841247","https://openalex.org/W2091260341","https://openalex.org/W597347111","https://openalex.org/W2064254377"],"abstract_inverted_index":{"Operational":[0],"support":[1,58,169,181],"provides,":[2],"during":[3,44],"the":[4,19,22,25,78,114,122,150,160,167],"execution":[5,20,31,47,80],"of":[6,21,159],"a":[7,45,144,157],"business":[8],"process,":[9],"replies":[10],"to":[11,49,61,69,99,112,119,133],"questions":[12,38],"such":[13,105],"as":[14,156],"\u2018how":[15],"do":[16],"I":[17],"end":[18],"process":[23,161],"in":[24,170,175],"cheapest":[26],"way?\u2019":[27],"and":[28,81,101,118,135,165],"\u2018is":[29],"my":[30],"compliant":[32],"with":[33,139,177],"some":[34],"expected":[35],"behaviour?\u2019":[36],"These":[37],"may":[39],"be":[40,62,173],"asked":[41],"several":[42],"times":[43],"single":[46],"and,":[48],"answer":[50],"them,":[51],"dedicated":[52],"software":[53,103,124],"components":[54],"(the":[55],"so-called":[56],"operational":[57,168,180],"providers)":[59],"need":[60],"invoked.":[63],"Therefore,":[64],"an":[65,106,178],"infrastructure":[66],"is":[67,86,110,125],"needed":[68,111],"handle":[70],"multiple":[71],"providers,":[72],"maintain":[73],"data":[74],"between":[75],"queries":[76],"about":[77],"same":[79],"discard":[82],"information":[83],"when":[84],"it":[85],"no":[87],"longer":[88],"needed.":[89],"In":[90],"this":[91,128],"paper,":[92],"we":[93,130],"use":[94],"coloured":[95],"Petri":[96],"nets":[97],"(CPNs)":[98],"model":[100],"analyse":[102,136],"implementing":[104],"infrastructure.":[107],"This":[108],"analysis":[109],"clarify":[113],"requirements":[115,152],"before":[116],"implementation":[117],"guarantee":[120],"that":[121],"resulting":[123],"correct.":[126],"To":[127],"aim,":[129],"present":[131],"techniques":[132],"represent":[134],"state":[137],"spaces":[138],"250":[140],"million":[141],"states":[142],"on":[143],"normal":[145],"PC.":[146],"We":[147],"show":[148],"how":[149,166],"specified":[151],"have":[153],"been":[154],"implemented":[155],"plug-in":[158],"mining":[162],"tool":[163],"ProM":[164,171],"can":[172],"used":[174],"combination":[176],"existing":[179],"provider.":[182]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}