For the most recent entries see the Petri Nets Newsletter.

Partial Order Semantics of Priority Systems.

Best, Eike; Koutny, Maciej

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.


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

Back to the Petri Nets Bibliography