dc.contributor.author | Nuño-Sánchez, Saúl A. | |
dc.contributor.author | Ruiz-León, Javier | |
dc.contributor.author | Ramírez-Treviño, Antonio | |
dc.date.accessioned | 2016-05-02T16:15:35Z | |
dc.date.accessioned | 2023-03-10T16:53:58Z | |
dc.date.available | 2016-05-02T16:15:35Z | |
dc.date.available | 2023-03-10T16:53:58Z | |
dc.date.issued | 2015-04-27 | |
dc.identifier.citation | Nuño-Sánchez ,S.A.; Ramírez-Treviño, A., y Ruiz-León, J (2015). "Structural Sequence Detectability in Free Choice Interpreted Petri Nets". En IEEE Transactions on Automatic Control, 61(1) , 198-203. | es |
dc.identifier.issn | 0018-9286 | |
dc.identifier.other | 10.1109/TAC.2015.2426275 | |
dc.identifier.uri | https://hdl.handle.net/20.500.12032/69121 | |
dc.description | This paper is concerned with the structural sequence detectability problem in Free Choice Interpreted Petri nets, i.e. with the possibility of recovering the firing transition sequence in Free Choice Interpreted Petri nets using the output information when the initial marking is unknown. Based on the Free Choice Interpreted Petri net structure, three relationships are proposed which are devoted to capture the confusion over the transitions. These relationships depend on interpreted Petri nets structures such as T-invariants, P-Invariants, attribution and distribution places. Thus, the approach herein presented exploits the interpreted Petri nets structural information in order to determine the structural sequence detectability of an interpreted Petri net. | es |
dc.description.sponsorship | Consejo Nacional de Ciencia y Tecnología | es |
dc.language.iso | eng | es |
dc.publisher | IEEE | es |
dc.relation.ispartofseries | IEEE Transactions on Automatic Control;61(1) | |
dc.rights.uri | http://quijote.biblio.iteso.mx/licencias/CC-BY-NC-2.5-MX.pdf | es |
dc.subject | Petri Net | es |
dc.subject | Structural Sequence Detectability | es |
dc.title | Structural Sequence Detectability in Free Choice Interpreted Petri Nets | es |
dc.type | info:eu-repo/semantics/article | es |