{"id":"https://openalex.org/W7117305566","doi":"https://doi.org/10.1109/lcsys.2025.3648432","title":"Liveness, Reachability, and Reversibility of Signal Interpreted Petri Nets","display_name":"Liveness, Reachability, and Reversibility of Signal Interpreted Petri Nets","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7117305566","doi":"https://doi.org/10.1109/lcsys.2025.3648432"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2025.3648432","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2025.3648432","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","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/A5014874075","display_name":"Andreas K\u00f6hler","orcid":"https://orcid.org/0000-0001-8904-0380"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Andreas K\u00f6hler","raw_affiliation_strings":["Institute of Automatic Control and Complex Systems, University of Duisburg-Essen, Duisburg, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Automatic Control and Complex Systems, University of Duisburg-Essen, Duisburg, Germany","institution_ids":["https://openalex.org/I62318514"]}]},{"author_position":"last","author":{"id":null,"display_name":"Ping Zhang","orcid":"https://orcid.org/0000-0002-9620-8193"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ping Zhang","raw_affiliation_strings":["Institute of Automatic Control and Complex Systems, University of Duisburg-Essen, Duisburg, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Automatic Control and Complex Systems, University of Duisburg-Essen, Duisburg, Germany","institution_ids":["https://openalex.org/I62318514"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5014874075"],"corresponding_institution_ids":["https://openalex.org/I62318514"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.71617549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":null,"first_page":"3131","last_page":"3136"},"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.9922000169754028,"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.9922000169754028,"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.002099999925121665,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.00139999995008111,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9265999794006348},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8647000193595886},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6690999865531921},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5275999903678894},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5270000100135803},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.46810001134872437},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4675999879837036},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4634999930858612},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.4505000114440918}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9265999794006348},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8647000193595886},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6690999865531921},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5275999903678894},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5270000100135803},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5200999975204468},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.46810001134872437},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4675999879837036},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4634999930858612},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45809999108314514},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.4505000114440918},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.43700000643730164},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41690000891685486},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4068000018596649},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4059999883174896},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.37380000948905945},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.3587999939918518},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.35030001401901245},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.3239000141620636},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.30219998955726624},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.3003000020980835},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29260000586509705},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.27730000019073486},{"id":"https://openalex.org/C104267543","wikidata":"https://www.wikidata.org/wiki/Q208163","display_name":"Signal processing","level":3,"score":0.2750999927520752},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.26570001244544983},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.2619999945163727},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2603999972343445},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26019999384880066}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcsys.2025.3648432","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2025.3648432","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"},{"id":"pmh:oai:bibliographie.ub.uni-due.de:ubo_mods_00239079","is_oa":false,"landing_page_url":"https://doi.org/10.1109/LCSYS.2025.3648432","pdf_url":null,"source":{"id":"https://openalex.org/S7407055102","display_name":"Universit\u00e4tsbibliographie, Universit\u00e4t Duisburg-Essen","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Artikel/Aufsatz"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8179707542","display_name":null,"funder_award_id":"FKZ KK6023105SW5","funder_id":"https://openalex.org/F4320320999","funder_display_name":"The Ministry of Economic Affairs and Employment"}],"funders":[{"id":"https://openalex.org/F4320320999","display_name":"The Ministry of Economic Affairs and Employment","ror":"https://ror.org/008d1xp69"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1528826607","https://openalex.org/W1982771763","https://openalex.org/W1996109622","https://openalex.org/W2045217754","https://openalex.org/W2046598560","https://openalex.org/W2051232944","https://openalex.org/W2095603938","https://openalex.org/W2103052726","https://openalex.org/W2117670924","https://openalex.org/W2120593480","https://openalex.org/W2509841691","https://openalex.org/W2749429672","https://openalex.org/W2790897865","https://openalex.org/W2810303541","https://openalex.org/W3046051831","https://openalex.org/W3120101625","https://openalex.org/W4205879707","https://openalex.org/W4388904330","https://openalex.org/W4399485115"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,27],"set":[4,134],"of":[5,35,87,126],"novel":[6],"sufficient":[7,72],"conditions":[8,73],"that":[9,46,60],"guarantee":[10],"three":[11],"behavioral":[12],"properties":[13,44,118],"in":[14,90,128],"signal":[15],"interpreted":[16],"Petri":[17,79],"nets":[18],"(SIPNs),":[19],"i.e.,":[20],"liveness,":[21,40],"reachability,":[22,41],"and":[23,42,59,83,99],"reversibility.":[24],"SIPNs":[25],"provide":[26],"modeling":[28],"formalism":[29],"for":[30,115],"representing":[31],"the":[32,47,54,61,78,84,88,97,117,124,129,132],"control":[33,49],"algorithm":[34],"discrete":[36],"manufacturing":[37],"systems.":[38],"The":[39,71,112],"reversibility":[43,100],"ensure":[45],"desired":[48],"actions":[50],"remain":[51],"perpetually":[52],"executable,":[53],"system":[55,62],"states":[56],"are":[57,74],"reachable,":[58],"can":[63,101],"always":[64],"return":[65],"to":[66,123],"its":[67],"initial":[68],"state,":[69],"respectively.":[70],"derived":[75],"based":[76,105],"on":[77,106],"net":[80],"state":[81],"equation":[82],"enabling":[85],"rules":[86],"transitions":[89],"SIPNs.":[91],"Moreover,":[92],"it":[93],"is":[94,119,135],"shown":[95],"how":[96],"reachability":[98],"be":[102],"computationally":[103],"verified":[104],"an":[107],"integer":[108],"linear":[109],"programming":[110],"problem.":[111],"computational":[113],"complexity":[114],"verifying":[116],"polynomial":[120],"with":[121],"respect":[122],"number":[125],"markings":[127],"SIPN":[130],"when":[131],"reachable":[133],"already":[136],"available.":[137]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-12-26T00:00:00"}