Reisig, Wolfgang Petri nets. An introduction. Transl. from the German. (English) Zbl 0555.68033 EATCS Monographs on Theoretical Computer Science, 4. Berlin etc.: Springer-Verlag. X, 161 p. DM 69.00 (1985). Reviewer: W.Kwasowiec MSC: 68Q85 68-01 PDFBibTeX XML
Mazurkiewicz, Antoni Traces, histories, graphs: instances of a process monoid. (English) Zbl 0577.68061 Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 115-133 (1984). MSC: 68Q99 68Q85 20M35 68Q45 68N25 68Q60 PDFBibTeX XML