an:03924146
Zbl 0577.68061
Mazurkiewicz, Antoni
Traces, histories, graphs: instances of a process monoid
EN
Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 115-133 (1984).
1984
a
68Q99 68Q85 20M35 68Q45 68N25 68Q60
Petri net; abstract algebra of processes; processes with partially ordered set of event occurrences; analysis of concurrent systems; occurrence nets; occurrence graphs; formal reasoning about concurrent program schemata; dependence graphs; string vectors; formal description of the path expressions semantics; COSY system; event domain
[For the entire collection see Zbl 0544.00022.]
Some notions of processes with partially ordered set of event occurrences have been already elaborated by different authors at different time, to enable analysis of concurrent systems and to create a solid basis for developing their theory. Such a first notion is due to Petri [\textit{C. A. Petri}: ''Non-sequential processes'', ISF Rep. 77.05, Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn (1977); see also \textit{W. Reisig}: Petrinetze (1982; Zbl 0482.68054)], and other notions - either directly, or indirectly - have been derived from it. In this approach processes are represented by occurrence nets; their finite version is close to occurrence graphs considered below and the infinite can be obtained via the limit construction. The second was the notion of traces [the author: ''Concurrent program schemes and their interpretations'', Aarhus Univ., DAIMI Rep. PB78 (1977)] introduced to facilitate formal reasoning about concurrent program schemata; dependence graphs, also described in the present paper, have been thought as graphical representations of traces. Almost at the same time the notion of string vectors [\textit{M. W. Shields}, Lect. Notes Comput. Sci. 70, 249-265 (1979; Zbl 0429.68058)], called here histories, was introduced for a formal description of the path expressions semantics, converted next to the COSY system.
The aim of this paper is to compare the above notions of processes, to find some common features of them, and if possible, to define an abstract algebra comprising features of all of them. We shall not follow the original definitions in details; we hope however, that the essential properties of the authors' definitions as well as their intentions will be preserved. It will be shown that all these algebras are instances of one algebra: a monoid with some characteristic axioms. Since in this paper we are not interested in any concrete concurrent system, no restrictions on the sets of processes will be imposed (as conditions concerning a mutual precedence of events in processes). The intention of the author is only to characterize any possible processes in a given event domain and to leave the question of properties of their sets to more specific theories of concurrent systems.
0544.00022; 0482.68054; 0429.68058