| Revista: | Lecturas matemáticas |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000406204 |
| ISSN: | 0120-1980 |
| Autores: | Mata, Guelvis1 Lugo, Abdul2 Rojas, Germalis2 |
| Instituciones: | 1Universidad de Los Andes, Facultad de Ciencias, Mérida. Venezuela 2Universidad Politécnica Territorial del Oeste de Sucre "Clodosbaldo Russián", Cumaná, Sucre. Venezuela |
| Año: | 2016 |
| Volumen: | 37 |
| Número: | 1 |
| Paginación: | 5-23 |
| País: | Colombia |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico, descriptivo |
| Resumen en español | El centro de este trabajo es un enfoque alternativo para el problema de alcanzabilidad de estados en los sistemas de eventos discretos, fundamentado en la teoría de bases de Gröbner. En efecto, en este artículo expresamos procedimientos de bases de Gröbner dirigidos bajo la consideración de monomiales para representar marcaciones, transiciones y dinámica en una red de Petri reiniciable, con el objetivo de resolver el problema de alcanzabilidad de estados. Más precisamente, dado un estado inicial y otro estado arbitrario representados como productos de potencias, y dada una red de Petri representada como un conjunto de polinomios en varias variables, la alcanzabilidad del estado arbitrario desde el estado inicial es una congruencia módulo un ideal polinomial |
| Resumen en inglés | The focus of this work is an alternative approach to the problem of reachability of states in discrete-event systems, based on the theory of Gröbner bases. Indeed, in this article we express procedures of Gröbner bases routed under the consideration of monomials to represent markings, transitions and dynamics in a reversible Petri net, in order to solve the problem of reachability of states. More precisely, given an initial state and other arbitrary state, represented as products of powers, and given a Petri net represented as a set of polynomials in multiple variables, the reachability of the arbitrary state from the initial state is a congruence modulus a polynomial ideal |
| Disciplinas: | Matemáticas, Ingeniería |
| Palabras clave: | Matemáticas aplicadas, Matemáticas puras, Ingeniería de control, Sistemas de control, Bases de Gröbner, Redes de Petri, Sistemas de eventos discretos, Algebra conmutativa |
| Keyword: | Mathematics, Engineering, Applied mathematics, Pure mathematics, Control engineering, Control systems, Gröbner bases, Petri nets, Discrete events systems, Commutative algebra |
| Texto completo: | Texto completo (Ver PDF) |
