For the most recent entries see the Petri Nets Newsletter.

Modelling Systems with Dynamic Priorities.

Koutny, Maciej

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 251-266. Springer-Verlag, 1992.

Abstract: In this paper we discuss concurrent systems with dynamic priorities, i.e. we allow the priority relation to change as the system evolves. We identify two classes of such systems, state-controlled and event-controlled priority systems. We define their non-sequential semantics (in terms of step sequences) which reflects both the priority constraints and concurrency specification. It is then shown that for a given prioritized system it is possible to construct an equivalent non-prioritized one. The systems dealt with in this paper are safe Petri nets augmented with a priority specification.

Keywords: Petri nets; priorities; step sequence semantics.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography