On Ethics of Mazurkiewicz Traces

Issue title: Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz

Article type: Research Article

Authors: Ochmański, Edward | Pieckowska, Joanna

Affiliations: Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland. E-mail: edoch@mat.uni.torun.pl | Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Institute of Applied Informatics, State Higher School of Vocational Education, Elblag, Poland. E-mail: stodj@mat.uni.torun.pl

Abstract: We extend the well-known hierarchy ∞-fair ⊆ 0-fair ⊆ just for sequences (sequential computations) to that of traces (concurrent processes). The fairness hierarchy for traces is similar, but more involved than for sequences. We study this hierarchy, first in general, abstracting from concrete concurrent system, then for basic classes of Petri nets – elementary and place/transition nets. Finally, we define the fairness notions in a non-interleaving way and compare them with the former ones.

Journal: Fundamenta Informaticae, vol. 80, no. 1-3, pp. 259-272, 2007