{"id":"https://openalex.org/W2095453628","doi":"https://doi.org/10.5391/ijfis.2013.13.3.200","title":"A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability: Live Single Branch Petri Net","display_name":"A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability: Live Single Branch Petri Net","publication_year":2013,"publication_date":"2013-09-30","ids":{"openalex":"https://openalex.org/W2095453628","doi":"https://doi.org/10.5391/ijfis.2013.13.3.200","mag":"2095453628"},"language":"en","primary_location":{"id":"doi:10.5391/ijfis.2013.13.3.200","is_oa":true,"landing_page_url":"https://doi.org/10.5391/ijfis.2013.13.3.200","pdf_url":"http://koreascience.or.kr:80/article/JAKO201332479508622.pdf","source":{"id":"https://openalex.org/S4210177700","display_name":"International Journal of Fuzzy Logic and Intelligent Systems","issn_l":"1598-2645","issn":["1598-2645","2093-744X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4327628602","host_organization_name":"Korean Institute of Intelligent Systems","host_organization_lineage":["https://openalex.org/P4327628602"],"host_organization_lineage_names":["Korean Institute of Intelligent Systems"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Fuzzy Logic and Intelligent Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"http://koreascience.or.kr:80/article/JAKO201332479508622.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021552476","display_name":"Qian Gao","orcid":"https://orcid.org/0000-0002-0239-8708"},"institutions":[{"id":"https://openalex.org/I152269853","display_name":"Qilu University of Technology","ror":"https://ror.org/04hyzq608","country_code":"CN","type":"education","lineage":["https://openalex.org/I152269853"]},{"id":"https://openalex.org/I16764540","display_name":"University of Suwon","ror":"https://ror.org/03ysk5e42","country_code":"KR","type":"education","lineage":["https://openalex.org/I16764540"]}],"countries":["CN","KR"],"is_corresponding":false,"raw_author_name":"Qian Gao","raw_affiliation_strings":["College of Information Technology, the University of Suwon, Hwaseong, Korea","School of information, Qilu University of Technology, Jinan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Information Technology, the University of Suwon, Hwaseong, Korea","institution_ids":["https://openalex.org/I16764540"]},{"raw_affiliation_string":"School of information, Qilu University of Technology, Jinan, China","institution_ids":["https://openalex.org/I152269853"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023896107","display_name":"Young Im Cho","orcid":"https://orcid.org/0000-0003-0184-7599"},"institutions":[{"id":"https://openalex.org/I16764540","display_name":"University of Suwon","ror":"https://ror.org/03ysk5e42","country_code":"KR","type":"education","lineage":["https://openalex.org/I16764540"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Young Im Cho","raw_affiliation_strings":["College of Information Technology, the University of Suwon, Hwaseong, Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Information Technology, the University of Suwon, Hwaseong, Korea","institution_ids":["https://openalex.org/I16764540"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5023896107"],"corresponding_institution_ids":["https://openalex.org/I16764540"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.1252317,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"13","issue":"3","first_page":"200","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"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":1.0,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965000152587891,"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/T10142","display_name":"Formal Methods in Verification","score":0.9934999942779541,"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/reachability","display_name":"Reachability","score":0.9773664474487305},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.974639892578125},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.7126699686050415},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.6996780633926392},{"id":"https://openalex.org/keywords/petri-dish","display_name":"Petri dish","score":0.6159655451774597},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6092503666877747},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5992714762687683},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.49223795533180237},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.43429797887802124},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4326225519180298},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42304736375808716},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37807464599609375},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3478676378726959},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2987770438194275}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9773664474487305},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.974639892578125},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.7126699686050415},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.6996780633926392},{"id":"https://openalex.org/C146763376","wikidata":"https://www.wikidata.org/wiki/Q81714","display_name":"Petri dish","level":2,"score":0.6159655451774597},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6092503666877747},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5992714762687683},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49223795533180237},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.43429797887802124},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4326225519180298},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42304736375808716},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37807464599609375},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3478676378726959},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2987770438194275},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5391/ijfis.2013.13.3.200","is_oa":true,"landing_page_url":"https://doi.org/10.5391/ijfis.2013.13.3.200","pdf_url":"http://koreascience.or.kr:80/article/JAKO201332479508622.pdf","source":{"id":"https://openalex.org/S4210177700","display_name":"International Journal of Fuzzy Logic and Intelligent Systems","issn_l":"1598-2645","issn":["1598-2645","2093-744X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4327628602","host_organization_name":"Korean Institute of Intelligent Systems","host_organization_lineage":["https://openalex.org/P4327628602"],"host_organization_lineage_names":["Korean Institute of Intelligent Systems"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Fuzzy Logic and Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.5391/ijfis.2013.13.3.200","is_oa":true,"landing_page_url":"https://doi.org/10.5391/ijfis.2013.13.3.200","pdf_url":"http://koreascience.or.kr:80/article/JAKO201332479508622.pdf","source":{"id":"https://openalex.org/S4210177700","display_name":"International Journal of Fuzzy Logic and Intelligent Systems","issn_l":"1598-2645","issn":["1598-2645","2093-744X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4327628602","host_organization_name":"Korean Institute of Intelligent Systems","host_organization_lineage":["https://openalex.org/P4327628602"],"host_organization_lineage_names":["Korean Institute of Intelligent Systems"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Fuzzy Logic and Intelligent Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2095453628.pdf","grobid_xml":"https://content.openalex.org/works/W2095453628.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W282741741","https://openalex.org/W1527747853","https://openalex.org/W1577441161","https://openalex.org/W1629681438","https://openalex.org/W1996109622","https://openalex.org/W2110012716","https://openalex.org/W2120109255","https://openalex.org/W2134329087","https://openalex.org/W2351391334","https://openalex.org/W2376989808"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2381491984","https://openalex.org/W2362023948","https://openalex.org/W2257573499","https://openalex.org/W2016989291","https://openalex.org/W2380620445","https://openalex.org/W2148229336","https://openalex.org/W2133661350","https://openalex.org/W1531156418","https://openalex.org/W4255837018"],"abstract_inverted_index":{"Petri":[0,18,35,42,81,86,103,108],"Nets":[1,36,43],"are":[2,49,63],"a":[3,22,71,99,102],"system":[4],"description":[5],"and":[6,56,91],"analysis":[7,52],"tool.":[8],"Reachability":[9],"is":[10,26,67,112],"one":[11],"of":[12,34,101,117],"the":[13,27,57,105,115,118],"most":[14],"basic":[15],"properties":[16,33],"in":[17,95],"Net":[19],"research.":[20],"In":[21],"sense,":[23],"reachability":[24,58,77,111],"research":[25],"foundation":[28],"study":[29],"for":[30,78],"other":[31],"dynamic":[32],"through":[37],"which":[38],"many":[39],"problems":[40],"involving":[41],"can":[44,75],"be":[45],"described.":[46],"Nowadays,":[47],"there":[48],"two":[50],"mature":[51],"methods-the":[53],"matrix":[54],"equation":[55],"tree.":[59],"However,":[60],"both":[61],"methods":[62],"localized,":[64],"i.e.,":[65],"it":[66],"difficult":[68],"to":[69,97,114],"find":[70],"general":[72],"algorithm":[73],"that":[74],"determine":[76],"an":[79,84],"arbitrary":[80],"Net,":[82,104,109],"especially":[83],"unbounded":[85],"Net.":[87],"This":[88],"paper":[89],"proposes":[90],"proves":[92],"three":[93],"propositions":[94],"order":[96],"present":[98],"subclass":[100],"live":[106],"single-branch":[107],"whose":[110],"equivalent":[113],"satisfiability":[116],"state":[119],"equation.":[120]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2025-10-10T00:00:00"}