Encoding the dynamics of deterministic systems |
| |
Authors: | Luis M Torres Annegret K Wagler |
| |
Institution: | 1.Departamento de Matemática,Escuela Politécnica Nacional,Quito,Ecuador;2.Faculty of Science and Technology (ISIMA, LIMOS),University Blaise Pascal,Clermont-Ferrand,France |
| |
Abstract: | We present a model for the dynamics of discrete deterministic systems, based on an extension of the Petri nets framework.
Our model relies on the definition of a priority relation between conflicting transitions, which is encoded by orienting the
edges of a transition conflict graph. We provide a characterization in terms of a local consistency condition of those deterministic
systems whose dynamic behavior can be encoded using our approach. Finally, we consider the problem of recognizing when an
orientation of the transition conflict graph is valid for encoding the dynamic behavior of a system. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|