Technical Report LIT--26. Université Libre de Bruxelles (Belgium), Laboratoire d'Informatique Théorique, 1990.
Abstract: The author gives two kinds of specific axiomatics, one describing cases and the other describing actions of elementary net systems and examine their expressivs power. Extensions of the given axiomatics to axiomatics descrbing processes are discussed. A possibility to prove precedence properties within partial order logics by means of until and since is presented.
Keywords: partial order logics (for) elementary net system; process axiomatics; precedence property.