In: Izvestiya Akademii Nauk Estonskoi SSR. Seriya Fizika-Matematika, Vol. 37, No. 1, pages 18-25. 1988. In Russian.
Abstract: The author tries to compare two formalism for specifying and analysing parallel systems that differ in principle, the Petri nets and the Quirk model. The translations of one formalism into the other are discussed.