In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 453-466. Berlin, Germany: Springer-Verlag, 1990.
Abstract: Three connections between elementary net systems and propositonal dynamic logic are studied: the use of dynamic logic as a query language for case graphs, the synthesis of elemantary net systems from formulas of dynamic logic, and an axiomatization of the theory formed by properties of an elementary net system. The axiomatized theory consists of the formulas true in the initial case of te sequential case graph interpreted as a model of dynamic logic.
Keywords: elementary net system; propositional dynamic logic; axiomatization (of properties); temporal logic; model synthesis.