For the most recent entries see the Petri Nets Newsletter.

A Temporal Logic for Petri Nets. The Mathematical Theory of Programming.

Kotov, V.E.; Cherkasova, L.A.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography