{"id":"https://openalex.org/W2017126643","doi":"https://doi.org/10.1109/tac.2015.2426275","title":"Structural Sequence Detectability in Free Choice Interpreted Petri Nets","display_name":"Structural Sequence Detectability in Free Choice Interpreted Petri Nets","publication_year":2015,"publication_date":"2015-04-27","ids":{"openalex":"https://openalex.org/W2017126643","doi":"https://doi.org/10.1109/tac.2015.2426275","mag":"2017126643"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2426275","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5061360225","display_name":"Saul-Alonso Nuno-Sanchez","orcid":null},"institutions":[{"id":"https://openalex.org/I113686770","display_name":"Instituto Tecnol\u00f3gico y de Estudios Superiores de Occidente","ror":"https://ror.org/00cwp6m07","country_code":"MX","type":"education","lineage":["https://openalex.org/I113686770"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Saul-Alonso Nuno-Sanchez","raw_affiliation_strings":["ITESO, Tlaquepaque, M\u00e9xico"],"affiliations":[{"raw_affiliation_string":"ITESO, Tlaquepaque, M\u00e9xico","institution_ids":["https://openalex.org/I113686770"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021408366","display_name":"A. Ram\u00edrez-Trevi\u00f1o","orcid":"https://orcid.org/0000-0003-3028-3446"},"institutions":[{"id":"https://openalex.org/I68368234","display_name":"Center for Research and Advanced Studies of the National Polytechnic Institute","ror":"https://ror.org/009eqmr18","country_code":"MX","type":"facility","lineage":["https://openalex.org/I59361560","https://openalex.org/I68368234"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Antonio Ramirez-Trevino","raw_affiliation_strings":["Unidad Guadalajara, CINVESTAV-IPN, Guadalajara, Mexico"],"affiliations":[{"raw_affiliation_string":"Unidad Guadalajara, CINVESTAV-IPN, Guadalajara, Mexico","institution_ids":["https://openalex.org/I68368234"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084858318","display_name":"Javier Ruiz\u2010Le\u00f3n","orcid":"https://orcid.org/0000-0001-8076-4008"},"institutions":[{"id":"https://openalex.org/I68368234","display_name":"Center for Research and Advanced Studies of the National Polytechnic Institute","ror":"https://ror.org/009eqmr18","country_code":"MX","type":"facility","lineage":["https://openalex.org/I59361560","https://openalex.org/I68368234"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Javier Ruiz-Leon","raw_affiliation_strings":["Unidad Guadalajara, CINVESTAV-IPN, Guadalajara, Mexico"],"affiliations":[{"raw_affiliation_string":"Unidad Guadalajara, CINVESTAV-IPN, Guadalajara, Mexico","institution_ids":["https://openalex.org/I68368234"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.514,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":6,"citation_normalized_percentile":{"value":0.733962,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":82,"max":83},"biblio":{"volume":"61","issue":"1","first_page":"198","last_page":"203"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9999,"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.9999,"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.9949,"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.9854,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.7685198},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.61398405},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5956655},{"id":"https://openalex.org/keywords/confusion","display_name":"Confusion","score":0.5398983},{"id":"https://openalex.org/keywords/petri-dish","display_name":"Petri dish","score":0.42955464}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.96886694},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.7685198},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.61398405},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60265845},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5956655},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.5398983},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45273864},{"id":"https://openalex.org/C146763376","wikidata":"https://www.wikidata.org/wiki/Q81714","display_name":"Petri dish","level":2,"score":0.42955464},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3570875},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","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":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2426275","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320321739","funder_display_name":"Consejo Nacional de Ciencia y Tecnolog\u00eda","award_id":null}],"datasets":[],"versions":[],"referenced_works_count":17,"referenced_works":["https://openalex.org/W1551214605","https://openalex.org/W1556549343","https://openalex.org/W1990841058","https://openalex.org/W1996109622","https://openalex.org/W2002089154","https://openalex.org/W2021454511","https://openalex.org/W2028084350","https://openalex.org/W2054106527","https://openalex.org/W2063328049","https://openalex.org/W2105084829","https://openalex.org/W2120909378","https://openalex.org/W2127551920","https://openalex.org/W2136823701","https://openalex.org/W2140406312","https://openalex.org/W2153387272","https://openalex.org/W2160493082","https://openalex.org/W2398894299"],"related_works":["https://openalex.org/W2901841247","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W2159539963","https://openalex.org/W2148229336","https://openalex.org/W2064254377","https://openalex.org/W2001922003","https://openalex.org/W1847176793","https://openalex.org/W1557425998","https://openalex.org/W1543378523"],"abstract_inverted_index":{"This":[0],"technical":[1],"note":[2],"is":[3,41],"concerned":[4],"with":[5,18],"the":[6,19,23,34,38,45,61,64,87,92,102],"structural":[7,96,103],"sequence":[8,26,104],"detectability":[9,105],"problem":[10],"in":[11,27,98],"Free":[12,28,46],"Choice":[13,29,47],"Interpreted":[14,30,48],"Petri":[15,31,49,71,94,109],"nets,":[16],"i.e.,":[17],"possibility":[20],"of":[21,106],"recovering":[22],"firing":[24],"transition":[25],"nets":[32,72,95],"using":[33],"output":[35],"information":[36,97],"when":[37],"initial":[39],"marking":[40],"unknown.":[42],"Based":[43],"on":[44,69],"net":[50],"structure,":[51],"three":[52],"relationships":[53,67],"are":[54,57],"proposed":[55],"which":[56],"devoted":[58],"to":[59,100],"capture":[60],"confusion":[62],"over":[63],"transitions.":[65],"These":[66],"depend":[68],"interpreted":[70,93,108],"structures":[73],"such":[74],"as":[75],"T":[76],"-":[77,80],"invariants,":[78],"P":[79],"Invariants,":[81],"attribution,":[82],"and":[83],"distribution":[84],"places.":[85],"Thus,":[86],"approach":[88],"herein":[89],"presented":[90],"exploits":[91],"order":[99],"determine":[101],"an":[107],"net.":[110]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2017126643","counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2024-12-18T11:01:53.656449","created_date":"2016-06-24"}