Torres, Luis; Wagler, Annegret - In: Mathematical Methods of Operations Research 73 (2011) 3, pp. 281-300
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...
