{"id":"https://openalex.org/W1697040782","doi":"https://doi.org/10.3233/fi-2015-1246","title":"Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics","display_name":"Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics","publication_year":2015,"publication_date":"2015-07-26","ids":{"openalex":"https://openalex.org/W1697040782","doi":"https://doi.org/10.3233/fi-2015-1246","mag":"1697040782"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2015-1246","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2015-1246","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5036182493","display_name":"Jos\u00e9 Antonio Mateo","orcid":"https://orcid.org/0000-0002-2074-3392"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jos\u00e9 Antonio Mateo","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","The Faculty of Engineering and Science (TECH), Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"The Faculty of Engineering and Science (TECH), Department of Computer Science","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009728620","display_name":"Ji\u0159\u0131\u0301 Srba","orcid":"https://orcid.org/0000-0001-5551-6547"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ji\u0159\u00ed Srba","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","Distributed Systems and Semantics, Department of Computer Science, The Faculty of Engineering and Science (TECH)"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Distributed Systems and Semantics, Department of Computer Science, The Faculty of Engineering and Science (TECH)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079973975","display_name":"Mathias Grund S\u00f8rensen","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Mathias Grund S\u00f8rensen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark","The Faculty of Engineering and Science (TECH), Aalborg University, Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"The Faculty of Engineering and Science (TECH), Aalborg University, Department of Computer Science","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036182493"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":1.6324,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.85508999,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"140","issue":"1","first_page":"89","last_page":"121"},"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.9995999932289124,"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.9995999932289124,"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.9926000237464905,"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.9912999868392944,"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/soundness","display_name":"Soundness","score":0.9407672882080078},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6215586066246033},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6034344434738159},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5972626805305481},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5391346216201782},{"id":"https://openalex.org/keywords/arc","display_name":"Arc (geometry)","score":0.43097835779190063},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3329700827598572},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.30629053711891174},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22179856896400452}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9407672882080078},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6215586066246033},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6034344434738159},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5972626805305481},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5391346216201782},{"id":"https://openalex.org/C83415579","wikidata":"https://www.wikidata.org/wiki/Q161973","display_name":"Arc (geometry)","level":2,"score":0.43097835779190063},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3329700827598572},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.30629053711891174},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22179856896400452},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-2015-1246","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2015-1246","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/00387650-b092-464e-b830-056a4c07e36b","is_oa":false,"landing_page_url":"http://www.cs.aau.dk/~srba/files/MSS:FI:15.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mateo , J A , Srba , J & S\u00f8rensen , M G 2015 , ' Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics ' , Fundamenta Informaticae , vol. 140 , no. 1 , pp. 89-121 . https://doi.org/10.3233/FI-2015-1246","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W86044744","https://openalex.org/W160689082","https://openalex.org/W163257103","https://openalex.org/W167751234","https://openalex.org/W1433385926","https://openalex.org/W1479452007","https://openalex.org/W1543145547","https://openalex.org/W1556719327","https://openalex.org/W1823152540","https://openalex.org/W1829884141","https://openalex.org/W1966214573","https://openalex.org/W1967761514","https://openalex.org/W2012140001","https://openalex.org/W2129466958","https://openalex.org/W2137543433","https://openalex.org/W2138447175","https://openalex.org/W2141017018","https://openalex.org/W2142249327","https://openalex.org/W2153801278","https://openalex.org/W2154674031","https://openalex.org/W2162868766","https://openalex.org/W2316437449","https://openalex.org/W3149476667"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W1578828174","https://openalex.org/W2950376466","https://openalex.org/W2000943029","https://openalex.org/W2002878601","https://openalex.org/W2199396573","https://openalex.org/W4302559785","https://openalex.org/W2140496290","https://openalex.org/W2949331520","https://openalex.org/W2260260573"],"abstract_inverted_index":{"Analysis":[0],"of":[1,10,31,49,90,155,162,183,192],"workflow":[2,19,63,72],"processes":[3],"with":[4,110],"quantitative":[5],"aspects":[6],"like":[7],"timing":[8],"is":[9,59,67,186],"interest":[11],"in":[12,99,127,146,169],"numerous":[13],"time-critical":[14],"applications.":[15],"We":[16,37,93],"suggest":[17],"a":[18,163,177,190],"model":[20,194],"based":[21],"on":[22,158],"timed-arc":[23,71],"Petri":[24],"nets":[25,64,73,109],"and":[26,33,45,53,75,105,136,176],"study":[27],"the":[28,40,47,50,88,96,100,114,121,130,133,147,153,159,172,184,193],"foundational":[29],"problems":[30,52],"soundness":[32,51,58,74,77,97,122],"strong":[34,76],"(time-bounded)":[35],"soundness.":[36],"first":[38],"consider":[39],"discrete-time":[41],"semantics":[42,102,135],"(integer":[43],"delays)":[44,104],"explore":[46],"decidability":[48,145],"show,":[54],"among":[55],"others,":[56],"that":[57,107],"decidable":[60],"for":[61,87,108,118,132,142],"monotonic":[62],"while":[65],"reachability":[66,115],"undecidable.":[68],"For":[69],"general":[70,128],"become":[78],"undecidable,":[79],"though":[80],"we":[81,151],"can":[82],"design":[83],"efficient":[84],"verification":[85],"algorithms":[86,185],"subclass":[89],"bounded":[91,148],"nets.":[92],"also":[94],"discuss":[95],"problem":[98,124],"continuous-time":[101],"(real-number":[103],"show":[106],"nonstrict":[111],"guards":[112],"(where":[113],"question":[116],"coincides":[117],"both":[119],"semantics)":[120],"checking":[123],"does":[125],"not":[126],"follow":[129],"approach":[131],"discrete":[134],"different":[137],"zone-based":[138],"techniques":[139],"are":[140],"needed":[141],"introducing":[143],"its":[144],"case.":[149],"Finally,":[150],"demonstrate":[152],"usability":[154],"our":[156],"theory":[157],"case":[160],"studies":[161],"Brake":[164],"System":[165],"Control":[166],"Unit":[167],"used":[168],"aircraft":[170],"certification,":[171],"MPEG2":[173],"encoding":[174],"algorithm,":[175],"blood":[178],"transfusion":[179],"workflow.":[180],"The":[181],"implementation":[182],"freely":[187],"available":[188],"as":[189],"part":[191],"checker":[195],"TAPAAL":[196],"(www.tapaal.net).":[197]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}