Introduction to process traces

Mazurkiewicz's theory of traces is one of the popular theories that describe the behavior of concurrent systems. In this paper, we argue that this theory is not totally adequate for describing concurrent processes. We introduce process systems and ptraces, as well as P-expressions, which we consider can describe concurrent processes more adequately.