{"id":"https://openalex.org/W2072587228","doi":"https://doi.org/10.1631/jzus.c1100364","title":"Verification of workflow nets with transition conditions","display_name":"Verification of workflow nets with transition conditions","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W2072587228","doi":"https://doi.org/10.1631/jzus.c1100364","mag":"2072587228"},"language":"en","primary_location":{"id":"doi:10.1631/jzus.c1100364","is_oa":false,"landing_page_url":"https://doi.org/10.1631/jzus.c1100364","pdf_url":null,"source":{"id":"https://openalex.org/S199067057","display_name":"Journal of Zhejiang University SCIENCE C","issn_l":"1869-1951","issn":["1869-1951","1869-196X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311937","host_organization_name":"Zhejiang University Press","host_organization_lineage":["https://openalex.org/P4310311937"],"host_organization_lineage_names":["Zhejiang University Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Zhejiang University SCIENCE C","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/A5003218042","display_name":"Zhaoxia Wang","orcid":"https://orcid.org/0000-0001-7674-5488"},"institutions":[{"id":"https://openalex.org/I52604927","display_name":"PLA Army Service Academy","ror":"https://ror.org/02syyrn67","country_code":"CN","type":"education","lineage":["https://openalex.org/I52604927"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhao-xia Wang","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","Department of Logistical Information & Engineering, Logistical Engineering University, Chongqing, 400016, China","MOE Key Laboratory for Information System Security, Tsinghua University, Beijing, 100084, China","National Laboratory for Information Science and Technology, Tsinghua University, Beijing, 100084, China","School of Software, Tsinghua University, Beijing, 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Logistical Information & Engineering, Logistical Engineering University, Chongqing, 400016, China","institution_ids":["https://openalex.org/I52604927"]},{"raw_affiliation_string":"MOE Key Laboratory for Information System Security, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100373517","display_name":"Jianmin Wang","orcid":"https://orcid.org/0000-0001-6841-7943"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian-min Wang","raw_affiliation_strings":["MOE Key Laboratory for Information System Security, Tsinghua University, Beijing, 100084, China","National Laboratory for Information Science and Technology, Tsinghua University, Beijing, 100084, China","School of Software, Tsinghua University, Beijing, 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MOE Key Laboratory for Information System Security, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101953385","display_name":"Xiaochen Zhu","orcid":"https://orcid.org/0000-0002-5088-7952"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao-chen Zhu","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","MOE Key Laboratory for Information System Security, Tsinghua University, Beijing, 100084, China","National Laboratory for Information Science and Technology, Tsinghua University, Beijing, 100084, China","School of Software, Tsinghua University, Beijing, 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"MOE Key Laboratory for Information System Security, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030845033","display_name":"Lijie Wen","orcid":"https://orcid.org/0000-0003-0358-3160"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Li-jie Wen","raw_affiliation_strings":["MOE Key Laboratory for Information System Security, Tsinghua University, Beijing, 100084, China","National Laboratory for Information Science and Technology, Tsinghua University, Beijing, 100084, China","School of Software, Tsinghua University, Beijing, 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MOE Key Laboratory for Information System Security, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.033,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81254287,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"13","issue":"7","first_page":"483","last_page":"509"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.993399977684021,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9911999702453613,"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/workflow","display_name":"Workflow","score":0.9320884943008423},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.827427089214325},{"id":"https://openalex.org/keywords/workflow-management-system","display_name":"Workflow management system","score":0.8209033012390137},{"id":"https://openalex.org/keywords/workflow-technology","display_name":"Workflow technology","score":0.7863802313804626},{"id":"https://openalex.org/keywords/workflow-engine","display_name":"Workflow engine","score":0.6211857199668884},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49578627943992615},{"id":"https://openalex.org/keywords/xpdl","display_name":"XPDL","score":0.4885352551937103},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.48626768589019775},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4742618799209595},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.46537917852401733},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4269862473011017},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.41859549283981323},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.39345669746398926},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18402382731437683},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.16574564576148987}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.9320884943008423},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.827427089214325},{"id":"https://openalex.org/C140824633","wikidata":"https://www.wikidata.org/wiki/Q2808660","display_name":"Workflow management system","level":3,"score":0.8209033012390137},{"id":"https://openalex.org/C19612761","wikidata":"https://www.wikidata.org/wiki/Q8034836","display_name":"Workflow technology","level":3,"score":0.7863802313804626},{"id":"https://openalex.org/C188220564","wikidata":"https://www.wikidata.org/wiki/Q3325097","display_name":"Workflow engine","level":3,"score":0.6211857199668884},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49578627943992615},{"id":"https://openalex.org/C130536060","wikidata":"https://www.wikidata.org/wiki/Q592375","display_name":"XPDL","level":4,"score":0.4885352551937103},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.48626768589019775},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4742618799209595},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.46537917852401733},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4269862473011017},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.41859549283981323},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.39345669746398926},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18402382731437683},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.16574564576148987},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1631/jzus.c1100364","is_oa":false,"landing_page_url":"https://doi.org/10.1631/jzus.c1100364","pdf_url":null,"source":{"id":"https://openalex.org/S199067057","display_name":"Journal of Zhejiang University SCIENCE C","issn_l":"1869-1951","issn":["1869-1951","1869-196X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311937","host_organization_name":"Zhejiang University Press","host_organization_lineage":["https://openalex.org/P4310311937"],"host_organization_lineage_names":["Zhejiang University Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Zhejiang University SCIENCE C","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W125124025","https://openalex.org/W327731419","https://openalex.org/W1482005816","https://openalex.org/W1489527380","https://openalex.org/W1489697166","https://openalex.org/W1497571013","https://openalex.org/W1502414936","https://openalex.org/W1507881093","https://openalex.org/W1520779252","https://openalex.org/W1522283593","https://openalex.org/W1527075417","https://openalex.org/W1537297192","https://openalex.org/W1537758272","https://openalex.org/W1539774351","https://openalex.org/W1541004980","https://openalex.org/W1568986740","https://openalex.org/W1585036716","https://openalex.org/W1602772868","https://openalex.org/W1608581186","https://openalex.org/W1720848645","https://openalex.org/W1760347411","https://openalex.org/W1903332351","https://openalex.org/W1982205631","https://openalex.org/W1983259451","https://openalex.org/W1985058355","https://openalex.org/W1996109622","https://openalex.org/W2040836689","https://openalex.org/W2043193943","https://openalex.org/W2078704225","https://openalex.org/W2097685196","https://openalex.org/W2101512909","https://openalex.org/W2106001218","https://openalex.org/W2109276114","https://openalex.org/W2122839421","https://openalex.org/W2125967324","https://openalex.org/W2127300475","https://openalex.org/W2129466958","https://openalex.org/W2135049367","https://openalex.org/W2148546044","https://openalex.org/W2151280810","https://openalex.org/W2151665032","https://openalex.org/W2162868766","https://openalex.org/W3124530199","https://openalex.org/W4233522539","https://openalex.org/W4233755518","https://openalex.org/W4300042523","https://openalex.org/W6603841182","https://openalex.org/W6611242074","https://openalex.org/W6631124619","https://openalex.org/W6639764861","https://openalex.org/W6661110980"],"related_works":["https://openalex.org/W2091596831","https://openalex.org/W2373541195","https://openalex.org/W2376410910","https://openalex.org/W2365658322","https://openalex.org/W2370109655","https://openalex.org/W2374818432","https://openalex.org/W2347749445","https://openalex.org/W2352344200","https://openalex.org/W291310304","https://openalex.org/W2379425324"],"abstract_inverted_index":{"Workflow":[0,10,76],"management":[1,11],"is":[2,45,65,78,164],"concerned":[3,80],"with":[4,81,111,161],"automated":[5],"support":[6],"for":[7],"business":[8],"processes.":[9],"systems":[12],"are":[13,36,74,129,136,148],"driven":[14],"by":[15],"process":[16],"models":[17],"specifying":[18],"the":[19,26,133,141],"tasks":[20],"that":[21,44,67,118,128],"need":[22],"to":[23,38,132,150],"be":[24,32,70],"executed,":[25,33],"order":[27],"in":[28],"which":[29,34,40,122],"they":[30,73],"can":[31,120],"resources":[35],"authorised":[37],"perform":[39],"tasks,":[41],"and":[42,48],"data":[43,90],"required":[46],"for,":[47],"produced":[49],"by,":[50],"these":[51],"tasks.":[52,97],"As":[53],"workflow":[54,68,103,159],"instances":[55],"may":[56,91],"run":[57],"over":[58],"a":[59,126,158],"sustained":[60],"period":[61],"of":[62,125],"time,":[63],"it":[64],"important":[66],"specifications":[69],"checked":[71],"before":[72],"deployed.":[75],"verification":[77],"usually":[79],"control-flow":[82,134],"dependencies":[83],"only;":[84],"however,":[85],"transition":[86,162],"conditions":[87,109,142,163],"based":[88,143],"on":[89,144],"further":[92],"restrict":[93],"possible":[94,130,138],"choices":[95],"between":[96],"In":[98],"this":[99],"paper":[100],"we":[101,119,147],"extend":[102],"nets":[104],"where":[105],"transitions":[106],"have":[107],"concrete":[108],"associated":[110],"them,":[112],"called":[113],"WTC-nets.":[114],"We":[115],"then":[116],"demonstrate":[117],"determine":[121,153],"execution":[123],"paths":[124],"WTC-net":[127],"according":[131],"dependencies,":[135],"actually":[137],"when":[139],"considering":[140],"data.":[145],"Thus,":[146],"able":[149],"more":[151],"accurately":[152],"at":[154],"design":[155],"time":[156],"whether":[157],"net":[160],"sound.":[165]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}