Home
Scholarly Works
Modelling systems with dynamic priorities
Journal article

Modelling systems with dynamic priorities

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 nonsequential semantics (in terms of step sequences) which reflects both the priority constraints and concurrency specification. It is then shown that for a given prioritised system it is possible to construct an equivalent non-prioritised one. The systems dealt with in this paper are safe Petri nets augmented with a priority specification.

Authors

Koutny M

Journal

Lecture Notes in Computer Science, Vol. 609, , pp. 251–266

Publisher

Springer Nature

Publication Date

January 1, 1992

DOI

10.1007/3-540-55610-9_174

ISSN

0302-9743
View published work (Non-McMaster Users)

Contact the Experts team