Anisimov, N. A.; Golenkov, E. A.; Kharitonov, D. I. Compositional Petri net approach to the development of concurrent and distributed systems. (English. Russian original) Zbl 1038.68082 Program. Comput. Softw. 27, No. 6, 309-319 (2001); translation from Programmirovanie 2001, No. 6, 30-43 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{N. A. Anisimov} et al., Program. Comput. Softw. 27, No. 6, 309--319 (2001; Zbl 1038.68082); translation from Programmirovanie 2001, No. 6, 30--43 (2001) Full Text: DOI
Belikov, V. K.; Rutner, Ya. F. Colored Petri nets and the matrix approach. (English. Russian original) Zbl 0692.68052 Program. Comput. Software 14, No. 3, 120-124 (1988); translation from Programmirovanie 1988, No. 3, 23-28 (1988). MSC: 68Q85 PDFBibTeX XMLCite \textit{V. K. Belikov} and \textit{Ya. F. Rutner}, Program. Comput. Softw. 14, No. 3, 120--124 (1988; Zbl 0692.68052); translation from Programmirovanie 1988, No. 3, 23--28 (1988)
Buza, M. K.; Kurbatskij, A. N. A formal model of programs. (English. Russian original) Zbl 0566.68055 Program. Comput. Software 10, 117-121 (1984); translation from Programmirovanie 1984, No. 3, 16-20 (1984). Reviewer: J.Olszewski MSC: 68Q85 68N25 PDFBibTeX XMLCite \textit{M. K. Buza} and \textit{A. N. Kurbatskij}, Program. Comput. Softw. 10, 117--121 (1984; Zbl 0566.68055); translation from Programmirovanie 1984, No. 3, 16--20 (1984)