Goltz, U.; Reisig, W. The non-sequential behaviour of Petri nets. (English) Zbl 0551.68050 Inf. Control 57, 125-147 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{U. Goltz} and \textit{W. Reisig}, Inf. Control 57, 125--147 (1983; Zbl 0551.68050) Full Text: DOI
de Bakker, J. W.; Zucker, J. I. Processes and the denotational semantics of concurrency. (English) Zbl 0508.68011 Inf. Control 54, 70-120 (1982). MSC: 68N25 68Q55 68Q85 PDFBibTeX XMLCite \textit{J. W. de Bakker} and \textit{J. I. Zucker}, Inf. Control 54, 70--120 (1982; Zbl 0508.68011) Full Text: DOI