{"id":"https://openalex.org/W2889543552","doi":"https://doi.org/10.1109/ieeegcc.2017.8448053","title":"Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets","display_name":"Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2889543552","doi":"https://doi.org/10.1109/ieeegcc.2017.8448053","mag":"2889543552"},"language":"en","primary_location":{"id":"doi:10.1109/ieeegcc.2017.8448053","doi":"https://doi.org/10.1109/ieeegcc.2017.8448053","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ieeegcc.2017.8448053","pdf_url":null,"source":{"id":"https://openalex.org/S4306498127","display_name":"IEEE GCC Conference and Exhibition (GCCCE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 9th IEEE-GCC Conference and Exhibition (GCCCE)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5055743812","display_name":"Anam Amjad","orcid":"https://orcid.org/0000-0002-7831-7839","observed_orcids":["https://orcid.org/0000-0002-7831-7839"]},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Anam Amjad","raw_affiliation_strings":["Department of Computer Engineering, National University of Sciences & Technology (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, National University of Sciences & Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040585772","display_name":"Farooque Azam","orcid":"https://orcid.org/0000-0002-7421-7400","observed_orcids":["https://orcid.org/0000-0002-7421-7400"]},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Farooque Azam","raw_affiliation_strings":["Department of Computer Engineering, National University of Sciences & Technology (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, National University of Sciences & Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045766368","display_name":"Muhammad Waseem Anwar","orcid":"https://orcid.org/0000-0002-1193-5683","observed_orcids":["https://orcid.org/0000-0002-1193-5683"]},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Waseem Anwar","raw_affiliation_strings":["Department of Computer Engineering, National University of Sciences & Technology (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, National University of Sciences & Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010819201","display_name":"Wasi Haider Butt","orcid":"https://orcid.org/0000-0002-1347-3662","observed_orcids":["https://orcid.org/0000-0002-1347-3662"]},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Wasi Haider Butt","raw_affiliation_strings":["Department of Computer Engineering, National University of Sciences & Technology (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, National University of Sciences & Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I929597975"],"apc_list":null,"apc_paid":null,"fwci":1.4844,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.8139458,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.7964000105857849,"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.7964000105857849,"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.1363999992609024,"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/T10142","display_name":"Formal Methods in Verification","score":0.06270000338554382,"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/event-driven-process-chains","display_name":"event-driven process chains","score":0.9020000100135803},{"id":"https://openalex.org/keywords/timed-automata","display_name":"timed automata","score":0.7239999771118164},{"id":"https://openalex.org/keywords/time-petri-nets","display_name":"time Petri nets","score":0.9860000014305115},{"id":"https://openalex.org/keywords/complex-event-processing","display_name":"complex event processing","score":0.7639999985694885},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"business process modeling","score":0.699999988079071},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.828000009059906},{"id":"https://openalex.org/keywords/real-time-systems","display_name":"real-time systems","score":0.7870000004768372},{"id":"https://openalex.org/keywords/event-semantics","display_name":"event semantics","score":0.49900001287460327}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8178447484970093},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8033790588378906},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6896480321884155},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5709341764450073},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5123683214187622},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4908207356929779},{"id":"https://openalex.org/C123606473","wikidata":"https://www.wikidata.org/wiki/Q907918","display_name":"Complex event processing","level":3,"score":0.4686398208141327},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4606386125087738},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41629672050476074},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39990729093551636},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3770591914653778},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3452413082122803},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32890865206718445},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.22869184613227844},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","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":1,"locations":[{"id":"doi:10.1109/ieeegcc.2017.8448053","doi":"https://doi.org/10.1109/ieeegcc.2017.8448053","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ieeegcc.2017.8448053","pdf_url":null,"source":{"id":"https://openalex.org/S4306498127","display_name":"IEEE GCC Conference and Exhibition (GCCCE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 9th IEEE-GCC Conference and Exhibition (GCCCE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W147393485","https://openalex.org/W295787295","https://openalex.org/W1481403881","https://openalex.org/W1590013720","https://openalex.org/W1744589267","https://openalex.org/W1764365682","https://openalex.org/W1997532020","https://openalex.org/W2030274832","https://openalex.org/W2064900519","https://openalex.org/W2087953129","https://openalex.org/W2097810426","https://openalex.org/W2147041049","https://openalex.org/W2173733693","https://openalex.org/W2256031459"],"related_works":["https://openalex.org/W68065263","https://openalex.org/W2902293873","https://openalex.org/W7073761228","https://openalex.org/W2097810426","https://openalex.org/W2789841191","https://openalex.org/W48503360","https://openalex.org/W2256031459","https://openalex.org/W1583530357","https://openalex.org/W3037406736","https://openalex.org/W2679803157"],"abstract_inverted_index":{"Event-driven":[0],"Process":[1],"Chain":[2],"(EPC)":[3],"is":[4,12,22,28,101,161,178,204],"a":[5,23],"known":[6],"business":[7,19,43],"process":[8,185],"modeling":[9,17,25],"language":[10,26],"which":[11,27],"primarily":[13],"renowned":[14],"for":[15,35,180,191,209],"efficient":[16],"of":[18,42,56,89,97,123,132,147,156,194,212],"requirements.":[20],"It":[21,160,197],"semi-formal":[24],"commonly":[29],"verified":[30],"though":[31],"various":[32],"formal":[33],"mechanism":[34,103],"simple":[36,148,165],"atomic":[37,50],"events.":[38,113,182,196],"However,":[39,93],"the":[40,61,86,95,120,130,145,153,164,210],"complexity":[41],"requirements":[44],"cannot":[45],"be":[46,169],"modeled":[47],"through":[48,171],"EPC":[49,84,106,166],"events":[51,63,128,151,167,214],"alone":[52],"especially":[53],"in":[54,83,105,115,129,215],"case":[55,186],"real":[57],"time":[58],"systems.":[59],"Therefore,":[60,114],"complex":[62,90,112,150,181,195,213],"patterns":[64],"like":[65],"Event":[66,68,70,72,74,76],"Time,":[67],"location,":[69],"Cardinality,":[71],"Sequence,":[73],"Exclusion,":[75],"Trend":[77],"and":[78,109,126,135,149,158,173],"Data":[79],"dependency":[80],"are":[81],"introduced":[82],"from":[85],"novel":[87],"area":[88],"event":[91],"processing.":[92],"to":[94,107,143],"best":[96],"our":[98],"knowledge,":[99],"there":[100],"no":[102],"available":[104,179],"model":[108],"verify":[110],"such":[111],"this":[116],"paper,":[117],"we":[118,141],"investigate":[119],"verification":[121,211],"possibilities":[122],"both":[124],"(atomic":[125],"complex)":[127],"context":[131],"Timed-Automata":[133],"(TA)":[134],"Time":[136],"Petri":[137],"Nets":[138],"(TPN).":[139],"Particularly,":[140],"try":[142],"map":[144],"semantics":[146],"with":[152],"corresponding":[154],"concepts":[155],"TA":[157,172,202],"TPN.":[159],"analyzed":[162],"that":[163,201],"can":[168],"formalized":[170],"TPN":[174,208],"but":[175],"limited":[176],"support":[177],"The":[183],"restaurant":[184],"study":[187],"has":[188,198],"been":[189,199],"used":[190],"further":[192],"investigation":[193],"concluded":[200],"formalism":[203],"more":[205],"suitable":[206],"than":[207],"EPC.":[216]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2018-09-07T00:00:00"}