{"id":"https://openalex.org/W2804643406","doi":"https://doi.org/10.1145/3185502","title":"Time-Soundness of Time Petri Nets Modelling Time-Critical Systems","display_name":"Time-Soundness of Time Petri Nets Modelling Time-Critical Systems","publication_year":2018,"publication_date":"2018-04-30","ids":{"openalex":"https://openalex.org/W2804643406","doi":"https://doi.org/10.1145/3185502","mag":"2804643406"},"language":"en","primary_location":{"id":"doi:10.1145/3185502","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3185502","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical 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/A5072386697","display_name":"Guanjun Liu","orcid":"https://orcid.org/0000-0002-7523-4827"},"institutions":[{"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":true,"raw_author_name":"Guanjun Liu","raw_affiliation_strings":["Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066099338","display_name":"Changjun Jiang","orcid":"https://orcid.org/0000-0003-0637-9317"},"institutions":[{"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":"Changjun Jiang","raw_affiliation_strings":["Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengchu Zhou","raw_affiliation_strings":["New Jersey Institute of Technology, Newark, NJ"],"affiliations":[{"raw_affiliation_string":"New Jersey Institute of Technology, Newark, NJ","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5072386697"],"corresponding_institution_ids":["https://openalex.org/I116953780"],"apc_list":null,"apc_paid":null,"fwci":1.0097,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.78190643,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"2","issue":"2","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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.9988999962806702,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.9545972943305969},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.9535485506057739},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8128812313079834},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7229140400886536},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6470891833305359},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.615329384803772},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6123529076576233},{"id":"https://openalex.org/keywords/determinacy","display_name":"Determinacy","score":0.5571919679641724},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5359014272689819},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4749241769313812},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.4529333710670471},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4215911328792572},{"id":"https://openalex.org/keywords/timestamp","display_name":"Timestamp","score":0.4129272699356079},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41109585762023926},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40565726161003113},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.2803053855895996},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.27488481998443604},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24424752593040466},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19162416458129883}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.9545972943305969},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9535485506057739},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8128812313079834},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7229140400886536},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6470891833305359},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.615329384803772},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6123529076576233},{"id":"https://openalex.org/C58468513","wikidata":"https://www.wikidata.org/wiki/Q1201165","display_name":"Determinacy","level":2,"score":0.5571919679641724},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5359014272689819},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4749241769313812},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.4529333710670471},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4215911328792572},{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.4129272699356079},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41109585762023926},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40565726161003113},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2803053855895996},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.27488481998443604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24424752593040466},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19162416458129883},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3185502","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3185502","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G362044362","display_name":null,"funder_award_id":"15SG18","funder_id":"https://openalex.org/F4320336620","funder_display_name":"Shanghai Shuguang Program"},{"id":"https://openalex.org/G72939857","display_name":null,"funder_award_id":"61572360","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/F4320336620","display_name":"Shanghai Shuguang Program","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W78026558","https://openalex.org/W1488218540","https://openalex.org/W1521238949","https://openalex.org/W1522386340","https://openalex.org/W1536808451","https://openalex.org/W1603799276","https://openalex.org/W1773689831","https://openalex.org/W1841167015","https://openalex.org/W1866370004","https://openalex.org/W1964412949","https://openalex.org/W1978545019","https://openalex.org/W1990325313","https://openalex.org/W1996109622","https://openalex.org/W2002089154","https://openalex.org/W2025831891","https://openalex.org/W2042801853","https://openalex.org/W2050942614","https://openalex.org/W2072530605","https://openalex.org/W2079996951","https://openalex.org/W2083567135","https://openalex.org/W2089280415","https://openalex.org/W2100766064","https://openalex.org/W2103882301","https://openalex.org/W2107730243","https://openalex.org/W2113375901","https://openalex.org/W2116297700","https://openalex.org/W2117834984","https://openalex.org/W2127030216","https://openalex.org/W2129140418","https://openalex.org/W2130561017","https://openalex.org/W2132056455","https://openalex.org/W2137543433","https://openalex.org/W2138378249","https://openalex.org/W2138447175","https://openalex.org/W2145317433","https://openalex.org/W2150220388","https://openalex.org/W2150272723","https://openalex.org/W2150621030","https://openalex.org/W2151350425","https://openalex.org/W2151612633","https://openalex.org/W2153273838","https://openalex.org/W2161411218","https://openalex.org/W2164409988","https://openalex.org/W2169386550","https://openalex.org/W2200666234","https://openalex.org/W2241590894","https://openalex.org/W2260022253","https://openalex.org/W2343504756","https://openalex.org/W2443430535","https://openalex.org/W2476136391","https://openalex.org/W2489834867","https://openalex.org/W2540241648","https://openalex.org/W2751949655","https://openalex.org/W2911858301","https://openalex.org/W4302039983"],"related_works":["https://openalex.org/W1704074244","https://openalex.org/W2113256684","https://openalex.org/W40031358","https://openalex.org/W2145454356","https://openalex.org/W2140646474","https://openalex.org/W1596619087","https://openalex.org/W3014656961","https://openalex.org/W2101922810","https://openalex.org/W2534853293","https://openalex.org/W1604195593"],"abstract_inverted_index":{"The":[0],"correctness":[1],"of":[2,12,71,92,146,178],"a":[3,72,98,113],"time-critical":[4,73,106],"system":[5,125],"is":[6,49,77,95,133,140],"closely":[7],"related":[8,167],"to":[9,79,97,104,148,162,172],"the":[10,44,67,90,124,138,144,151,155,166,174],"time":[11,45,100],"responding":[13],"and":[14,25,81,169,176,181],"performing":[15],"every":[16,93],"event.":[17],"Our":[18],"motivation":[19],"example,":[20,27],"alternating":[21],"bit":[22],"protocol":[23],",":[24,33],"application":[26],"multi-track":[28],"level":[29],"crossing":[30],"with":[31,47],"sensors":[32],"both":[34],"demonstrate":[35],"that":[36,123,150],"some":[37,53],"nondeterministic":[38,64],"behaviours":[39,65,129],"can":[40,153],"take":[41],"place":[42],"if":[43],"associated":[46],"events":[48,55],"configured":[50],"inappropriately":[51],"or":[52],"concurrent":[54],"are":[56,102],"controlled":[57],"imperfectly":[58],"in":[59,88,108],"an":[60,160],"overlapping":[61],"period.":[62],"These":[63],"decrease":[66],"reliability":[68],"and/or":[69],"safety":[70],"system.":[74],"Therefore,":[75],"it":[76],"valuable":[78],"formalise":[80],"check":[82,163],"(non)determinacy.":[83],"Time":[84],"Petri":[85],"Nets":[86],"(TPN)":[87],"which":[89],"firing":[91],"event":[94,132,139],"limited":[96],"fix":[99],"interval":[101],"used":[103],"model":[105],"systems":[107],"this":[109],"article.":[110],"We":[111,142,158],"proposes":[112],"novel":[114],"notion":[115,145,180],"for":[116],"TPN":[117],"named":[118],"time-soundness":[119,152],".":[120],"It":[121],"guarantees":[122],"always":[126],"owns":[127],"deterministic":[128],"after":[130],"any":[131],"performed":[134],"no":[135],"matter":[136],"when":[137],"performed.":[141],"utilise":[143],"bisimulation":[147],"prove":[149],"guarantee":[154],"behavioural":[156],"determinacy.":[157],"propose":[159],"algorithm":[161],"time-soundness,":[164],"develop":[165],"tool,":[168],"do":[170],"experiments":[171],"show":[173],"usefulness":[175],"effectiveness":[177],"our":[179],"method.":[182]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}