In: Akad. Nauk SSSR Sibirsk. Otdel., Vychisl. Tsentr, Novosibirsk, No. 172, pages 85-95. 1985. In Russian.
Abstract: We attempt to apply a temporal logic to the description and study of the properties of Petri nets. Such properties of Petri nets as safeness, liveness, etc., are easily expressible in terms of temporal logic. The language of propositional temporal logic is sufficiently rich so that it can be used to write down the property of inclusion of the languages of arbitrary marked Petri nets.