In: Theoretical Computer Science, Vol. 96, pages 175-215. 1992.
Abstract: The specification of priorities provides a convenient way of resolving conflicts in the design of concurrent computing systems. Priorities have been widely used by operating systems to enforce the preferred order of the execution of jobs waiting for processing; while programming languages often provide primitives, such as prioritised choice operator, for expressing the intended preference of the execution of one enabled section of the program over another enabled section of the program. In this paper we consider priority systems (S,r), where is a bounded Petri net, and r is a priority relation on the transitions of the net. Our main goal is to give a formal semantics of (S,r) by constructing a Petri net (S, r) which retain as much of the concurrency semantics of S as possible and at the same time not violate the priority constraints imposed by r.