{"id":"https://openalex.org/W4226279024","doi":"https://doi.org/10.1109/access.2022.3168000","title":"Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net","display_name":"Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4226279024","doi":"https://doi.org/10.1109/access.2022.3168000"},"language":"en","primary_location":{"id":"doi:10.1109/access.2022.3168000","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3168000","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/9668973/09758738.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/9668973/09758738.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056073426","display_name":"Chanon Dechsupa","orcid":"https://orcid.org/0000-0001-8441-8962"},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"C. Dechsupa","raw_affiliation_strings":["Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"],"raw_orcid":"https://orcid.org/0000-0001-8441-8962","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand","institution_ids":["https://openalex.org/I158708052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085328736","display_name":"W. Vatanawood","orcid":"https://orcid.org/0000-0003-0457-3474"},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"W. Vatanawood","raw_affiliation_strings":["Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"],"raw_orcid":"https://orcid.org/0000-0003-0457-3474","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand","institution_ids":["https://openalex.org/I158708052"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088903111","display_name":"Arthit Thongtak","orcid":"https://orcid.org/0000-0001-7353-7528"},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"A. Thongtak","raw_affiliation_strings":["Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"],"raw_orcid":"https://orcid.org/0000-0001-7353-7528","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand","institution_ids":["https://openalex.org/I158708052"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.4454,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83957633,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"10","issue":null,"first_page":"42983","last_page":"43002"},"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.9993000030517578,"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.9993000030517578,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9965000152587891,"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/computer-science","display_name":"Computer science","score":0.8243974447250366},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.7128062844276428},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6735740303993225},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5798978805541992},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5527351498603821},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5020751953125},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4755905866622925},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.4415222704410553},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.42604848742485046},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4003600776195526},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.3328123092651367},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.328769326210022},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.2821452021598816},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2556852698326111},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.228260338306427}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8243974447250366},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.7128062844276428},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6735740303993225},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5798978805541992},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5527351498603821},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5020751953125},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4755905866622925},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4415222704410553},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.42604848742485046},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4003600776195526},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.3328123092651367},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.328769326210022},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.2821452021598816},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2556852698326111},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.228260338306427},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"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/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2022.3168000","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3168000","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/9668973/09758738.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:11a98e3ff9a841d287730aa7fef9d44a","is_oa":true,"landing_page_url":"https://doaj.org/article/11a98e3ff9a841d287730aa7fef9d44a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 10, Pp 42983-43002 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2022.3168000","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3168000","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/9668973/09758738.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.550000011920929}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321557","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226279024.pdf","grobid_xml":"https://content.openalex.org/works/W4226279024.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W95898642","https://openalex.org/W123147048","https://openalex.org/W290481602","https://openalex.org/W657975173","https://openalex.org/W970000760","https://openalex.org/W1122371132","https://openalex.org/W1497670448","https://openalex.org/W1498432697","https://openalex.org/W1536836933","https://openalex.org/W1570372094","https://openalex.org/W1577110168","https://openalex.org/W1589720045","https://openalex.org/W1608490958","https://openalex.org/W1864922704","https://openalex.org/W1934888383","https://openalex.org/W1981626968","https://openalex.org/W1991214944","https://openalex.org/W1998024397","https://openalex.org/W2003131531","https://openalex.org/W2009731555","https://openalex.org/W2025389469","https://openalex.org/W2041509965","https://openalex.org/W2111765806","https://openalex.org/W2114719092","https://openalex.org/W2117886447","https://openalex.org/W2127775257","https://openalex.org/W2138447175","https://openalex.org/W2139080520","https://openalex.org/W2142340571","https://openalex.org/W2162021078","https://openalex.org/W2170020415","https://openalex.org/W2178536058","https://openalex.org/W2187418479","https://openalex.org/W2294924515","https://openalex.org/W2304000253","https://openalex.org/W2343504756","https://openalex.org/W2496773548","https://openalex.org/W2570086581","https://openalex.org/W2581042172","https://openalex.org/W2620678493","https://openalex.org/W2657554294","https://openalex.org/W2740504103","https://openalex.org/W2800448691","https://openalex.org/W2877475263","https://openalex.org/W2910487268","https://openalex.org/W2965218277","https://openalex.org/W3012358419","https://openalex.org/W3102922613","https://openalex.org/W6604374852","https://openalex.org/W6640453777","https://openalex.org/W6697360203"],"related_works":["https://openalex.org/W4360764654","https://openalex.org/W2004965561","https://openalex.org/W2548538367","https://openalex.org/W2048823690","https://openalex.org/W4399962773","https://openalex.org/W1778671501","https://openalex.org/W2048424351","https://openalex.org/W2408087754","https://openalex.org/W2908501282","https://openalex.org/W2754051655"],"abstract_inverted_index":{"Internet":[0],"of":[1,50,66,113,136,161],"Things":[2],"(IoT)":[3],"technologies":[4],"have":[5,45,72],"been":[6],"increasingly":[7],"developed":[8],"for":[9,57,91,130],"real-time":[10],"application":[11],"in":[12,26,102],"manufacturing":[13,28,96,164],"processes":[14],"to":[15,73,147,153],"address":[16],"heterogeneous":[17],"devices":[18,42],"and":[19,54,80,93,106,126,132,152,159],"software":[20],"effectively.":[21],"Although":[22],"almost":[23],"all":[24],"activities":[25,44],"a":[27,87],"process":[29,46,69,104,163],"can":[30],"perform":[31],"an":[32,67],"action":[33],"when":[34],"data":[35],"objects":[36],"arrive":[37],"at":[38],"the":[39,48,63,75,117,127,134,137,145,149,155,162],"activity,":[40],"physical":[41],"or":[43],"involving":[47],"operation":[49],"chance":[51],"over":[52],"time":[53,158],"probabilistic":[55,78],"function":[56],"proceeding":[58],"with":[59],"their":[60],"operations.":[61],"Therefore,":[62],"formal":[64],"verification":[65,89],"IoT":[68,95],"design":[70,97],"model":[71,105,151],"consider":[74],"timed":[76],"constraints,":[77],"tasks":[79],"dependencies":[81],"between":[82],"activities.":[83],"This":[84],"paper":[85],"proposes":[86],"quantitative":[88],"approach":[90],"analyzing":[92],"optimizing":[94],"models":[98,139],"that":[99],"are":[100,124,140],"designed":[101],"business":[103],"notation":[107],"(BPMN)":[108],"representation.":[109],"The":[110],"transformation":[111],"rules":[112],"BPMN":[114],"element":[115],"into":[116],"colored":[118],"generalized":[119],"stochastic":[120],"Petri":[121],"net":[122],"(CGSPN)":[123],"proposed,":[125],"stepwise":[128],"approaches":[129],"refining":[131],"verifying":[133],"components":[135],"CGSPN":[138,150],"illustrated.":[141],"Our":[142],"framework":[143],"helps":[144],"designers":[146],"automate":[148],"localize":[154],"operational":[156],"gaps,":[157],"flaws":[160],"models.":[165]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}