caa a22 4500 445839775 CHVBK 20180317145340.0 cr unu---uuuuu 170323e20110601xx s 000 0 eng 10.1007/s00186-011-0353-6 doi (NATIONALLICENCE)springer-10.1007/s00186-011-0353-6 Encoding the dynamics of deterministic systems [Elektronische Daten] [Luis Torres, Annegret Wagler] 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. Springer-Verlag, 2011 Petri nets nationallicence Concurrent deterministic dynamic systems nationallicence Torres Luis Departamento de Matemática, Escuela Politécnica Nacional, Quito, Ecuador aut Wagler Annegret Faculty of Science and Technology (ISIMA, LIMOS), University Blaise Pascal, Clermont-Ferrand, France aut Mathematical Methods of Operations Research Springer-Verlag 73/3(2011-06-01), 281-300 1432-2994 73:3<281 2011 73 186 https://doi.org/10.1007/s00186-011-0353-6 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s00186-011-0353-6 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Torres Luis Departamento de Matemática, Escuela Politécnica Nacional, Quito, Ecuador aut NATIONALLICENCE 700 1- Wagler Annegret Faculty of Science and Technology (ISIMA, LIMOS), University Blaise Pascal, Clermont-Ferrand, France aut NATIONALLICENCE 773 0- Mathematical Methods of Operations Research Springer-Verlag 73/3(2011-06-01), 281-300 1432-2994 73:3<281 2011 73 186 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer