{"id":"https://openalex.org/W1981182823","doi":"https://doi.org/10.1109/tsmc.2014.2334276","title":"Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets","display_name":"Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets","publication_year":2014,"publication_date":"2014-07-17","ids":{"openalex":"https://openalex.org/W1981182823","doi":"https://doi.org/10.1109/tsmc.2014.2334276","mag":"1981182823"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2014.2334276","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2014.2334276","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: 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/A5003178957","display_name":"Qingtian Zeng","orcid":"https://orcid.org/0000-0002-6421-8223"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"QingTian Zeng","raw_affiliation_strings":["Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057907250","display_name":"Faming Lu","orcid":"https://orcid.org/0000-0002-1992-7127"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]},{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"FaMing Lu","raw_affiliation_strings":["Key Laboratory of Embedded System and Service Computing of Tongji University, Shanghai, China","Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Embedded System and Service Computing of Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100331605","display_name":"Cong Liu","orcid":"https://orcid.org/0000-0002-5999-2126"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cong Liu","raw_affiliation_strings":["Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040737744","display_name":"Hua Duan","orcid":"https://orcid.org/0000-0002-0947-2704"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hua Duan","raw_affiliation_strings":["Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017528204","display_name":"Changhong Zhou","orcid":"https://orcid.org/0000-0001-9529-2242"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"ChangHong Zhou","raw_affiliation_strings":["Shandong University of Science and Technology, Qingdao, China"],"affiliations":[{"raw_affiliation_string":"Shandong University of Science and Technology, Qingdao, China","institution_ids":["https://openalex.org/I80143920"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5003178957"],"corresponding_institution_ids":["https://openalex.org/I80143920"],"apc_list":null,"apc_paid":null,"fwci":7.8866,"has_fulltext":false,"cited_by_count":64,"citation_normalized_percentile":{"value":0.97082689,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"45","issue":"2","first_page":"349","last_page":"362"},"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.9997000098228455,"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.9997000098228455,"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.9973999857902527,"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.9945999979972839,"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.863562285900116},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7906386256217957},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7533524036407471},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7316628694534302},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.6474504470825195},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.49360549449920654},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.48867395520210266},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.47797247767448425},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.46662652492523193},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4372827410697937},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3524252772331238},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3373589515686035},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.33351975679397583},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21444612741470337},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.16101941466331482},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.13655531406402588},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09293052554130554},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.08622124791145325}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.863562285900116},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7906386256217957},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7533524036407471},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7316628694534302},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.6474504470825195},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.49360549449920654},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.48867395520210266},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.47797247767448425},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.46662652492523193},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4372827410697937},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3524252772331238},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3373589515686035},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.33351975679397583},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21444612741470337},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.16101941466331482},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.13655531406402588},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09293052554130554},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.08622124791145325}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2014.2334276","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2014.2334276","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5060981932","display_name":null,"funder_award_id":"201303107","funder_id":"https://openalex.org/F4320335448","funder_display_name":"Special Fund for Agro-scientific Research in the Public Interest"},{"id":"https://openalex.org/G5733551343","display_name":null,"funder_award_id":"61202152","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6637464696","display_name":null,"funder_award_id":"61170079","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335448","display_name":"Special Fund for Agro-scientific Research in the Public Interest","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W4527426","https://openalex.org/W627788458","https://openalex.org/W634312912","https://openalex.org/W1491461849","https://openalex.org/W1593517356","https://openalex.org/W1964412949","https://openalex.org/W1970645674","https://openalex.org/W1996109622","https://openalex.org/W2005978107","https://openalex.org/W2013306276","https://openalex.org/W2019766155","https://openalex.org/W2042175319","https://openalex.org/W2050942614","https://openalex.org/W2097685196","https://openalex.org/W2102439171","https://openalex.org/W2111525364","https://openalex.org/W2121548252","https://openalex.org/W2129466958","https://openalex.org/W2130739953","https://openalex.org/W2137543433","https://openalex.org/W2137594927","https://openalex.org/W2148398388","https://openalex.org/W2152988203","https://openalex.org/W2163411084","https://openalex.org/W2313484402","https://openalex.org/W2316865521","https://openalex.org/W2353267540","https://openalex.org/W2359108202","https://openalex.org/W2503470518","https://openalex.org/W4235423825","https://openalex.org/W4246034958","https://openalex.org/W4253146326","https://openalex.org/W6679283666"],"related_works":["https://openalex.org/W2092311420","https://openalex.org/W4242099213","https://openalex.org/W2158991459","https://openalex.org/W1531156418","https://openalex.org/W2020720940","https://openalex.org/W2781871901","https://openalex.org/W2896989384","https://openalex.org/W2989593792","https://openalex.org/W3202975295","https://openalex.org/W3192584008"],"abstract_inverted_index":{"Recently,":[0],"cross-department":[1,44,104,146],"business":[2,149],"processes":[3,45,100],"are":[4,93,126],"becoming":[5],"more":[6,8,25],"and":[7,22,40,72,89,103,122],"complex.":[9],"Different":[10],"kinds":[11,49],"of":[12,50,85,131,144],"coordination":[13,51,91,105],"patterns":[14,52],"exist":[15],"among":[16,53],"different":[17,48,54],"departments,":[18],"which":[19],"make":[20],"modeling":[21,39,97],"analysis":[23],"work":[24],"difficult.":[26],"To":[27],"our":[28,155],"best":[29],"knowledge,":[30],"there":[31],"is":[32,78,87,101,134,151],"no":[33],"formal":[34,83],"method":[35,61],"to":[36,153],"give":[37],"systematic":[38],"verification":[41],"for":[42,76,98],"the":[43,82,132,138,145],"when":[46],"considering":[47],"departments.":[55],"This":[56],"paper":[57],"proposes":[58],"such":[59],"a":[60],"based":[62,136],"on":[63,137],"Petri":[64],"nets.":[65],"The":[66,129],"WF-net":[67],"model":[68,84],"extended":[69],"with":[70],"resource":[71,111],"message":[73,108],"factors,":[74],"RM_WF_Net":[75,96,133],"short,":[77],"first":[79],"introduced.":[80],"Then,":[81],"tasks":[86],"proposed":[88,156],"its":[90],"relations":[92],"given.":[94],"Next,":[95],"intradepartment":[99],"investigated":[102],"patterns,":[106],"including":[107],"interaction":[109,112],"pattern,":[110,113,116,121,125],"task":[114],"collaboration":[115],"procedure":[117],"abstract,":[118],"service":[119],"outsourcing":[120],"process":[123,150],"activation":[124],"formally":[127],"defined.":[128],"soundness":[130],"verified":[135],"reachability":[139],"graph.":[140],"A":[141],"running":[142],"case":[143],"medical":[147],"diagnosis":[148],"given":[152],"validate":[154],"method.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":15},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}