09-29
Encoding the dynamics of deterministic systems
by Torres, L. M.; Wagler, A. K.
Preprint series: 09-29, Preprints
- MSC:
- 68Q10 Modes of computation (concurrent, parallel, nondeterministic, etc.), See also {68Q90}
- 05C65 Hypergraphs
- 05C75 Structural characterization of types of graphs
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. The structure of this conflict graph is discussed in the context of hypergraph theory and particular properties related to some specific classes of dynamic systems are investigated. Moreover, 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: Petri nets, deterministic systems, hypergraphs
The author(s) agree, that this abstract may be stored asfull text and distributed as such by abstracting services.