{"id":"https://openalex.org/W2090740917","doi":"https://doi.org/10.1137/0205020","title":"Termination Properties of Generalized Petri Nets","display_name":"Termination Properties of Generalized Petri Nets","publication_year":1976,"publication_date":"1976-06-01","ids":{"openalex":"https://openalex.org/W2090740917","doi":"https://doi.org/10.1137/0205020","mag":"2090740917"},"language":"en","primary_location":{"id":"doi:10.1137/0205020","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0205020","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5111937607","display_name":"Y. Edmund Lien","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Y. Edmund Lien","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5111937607"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2764,"has_fulltext":false,"cited_by_count":60,"citation_normalized_percentile":{"value":0.88584136,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"5","issue":"2","first_page":"251","last_page":"265"},"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.9991000294685364,"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.9991000294685364,"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/T11567","display_name":"semigroups and automata theory","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/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"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/petri-net","display_name":"Petri net","score":0.8017629384994507},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5582451224327087},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5370169878005981},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.48401233553886414},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.44400227069854736},{"id":"https://openalex.org/keywords/strongly-connected-component","display_name":"Strongly connected component","score":0.4118487536907196},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.36422067880630493},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3200724422931671},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22554785013198853}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8017629384994507},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5582451224327087},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5370169878005981},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.48401233553886414},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.44400227069854736},{"id":"https://openalex.org/C38754835","wikidata":"https://www.wikidata.org/wiki/Q2003238","display_name":"Strongly connected component","level":2,"score":0.4118487536907196},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.36422067880630493},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3200724422931671},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22554785013198853},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0205020","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0205020","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1993742654","https://openalex.org/W2021636610","https://openalex.org/W2031144446","https://openalex.org/W2106001218"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2132799268","https://openalex.org/W2154794415","https://openalex.org/W1538101305","https://openalex.org/W791317142","https://openalex.org/W2119655921","https://openalex.org/W1816071588","https://openalex.org/W4210352817"],"abstract_inverted_index":{"A":[0],"generalization":[1],"of":[2,20,28,45,92,99,102,122,128],"Petri":[3,129],"nets":[4,130],"and":[5,11,37,50,64,73,79,104,106],"vector":[6],"addition":[7],"systems,":[8],"called":[9],"GPN":[10,69,84],"MGPN,":[12],"is":[13],"introduced":[14],"in":[15,112],"this":[16,21],"paper.":[17],"Termination":[18],"properties":[19],"generalized":[22],"formalism":[23],"are":[24,30,57,131],"investigated.":[25],"Four":[26],"subclasses":[27],"GPN\u2019s":[29,94],"considered.":[31],"We":[32,40],"distinguish":[33],"forward-conflict-free,":[34],"backward-conflict-free,":[35],"forward-concurrent-free":[36],"backward-concurrent-free":[38],"GPN\u2019s.":[39,52],"also":[41,132],"study":[42],"the":[43,90,97,126],"concept":[44],"strongly":[46,48,60,62,76,87],"connected,":[47,61,77],"repetitive":[49,63],"conservative":[51,78],"The":[53],"main":[54],"results":[55,110,124],"obtained":[56,117],"(i)":[58],"every":[59,75],"forward-":[65,80],"(or":[66,81],"backward-)":[67,82],"conflict-free":[68],"must":[70,85],"be":[71,86,116],"conservative,":[72],"(ii)":[74],"concurrent-free":[83],"repetitive.":[88],"Since":[89],"class":[91],"forward-conflict-free":[93],"contains":[95],"properly":[96],"structures":[98],"computation":[100],"graphs":[101],"Karp":[103],"Miller":[105],"marked":[107],"graphs,":[108],"some":[109],"appearing":[111],"these":[113],"studies":[114],"can":[115],"as":[118],"corollaries.":[119],"Specialized":[120],"versions":[121],"our":[123],"for":[125],"case":[127],"included.":[133]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}