90: Hildesheimer Informatik-Berichte 6, pages 1-40 pp.. Universität Hildesheim (Germany), Institut für Informatik, June 1990.
Abstract: A new semantics of static priorities is given in the framework of Petri nets and Occam-2. This semantics is compared to Janicki's step semantics of priorities. Using the Petri net construction a semantics is given to an Occam dialect inccluding PRI ALT and PRI PAR.
Keywords: partial order semantics (of) priority system(s); Occam(-2) (dialect); step semantics (of) priority.