In: Ritter, G.X.: Information Processing 89. Proceedings of the IFIP 11th World Computer Congress, 1989, San Francisco, CA, USA, pages 857-862. Amsterdam, The Netherlands: North-Holland, 1989.
Abstract: A temporal logic for discrete event structures with runs, based on a partial order framework of local states, is presented. Modalities, for the successor, causality, immediate conflict and conflict relations, are introduced. Completeness of the axiom system is proved. The finite model property and decidability are discussed. An example of a local specification of a Petri net is given.
Keywords: temporal logic; local specification (of concurrent systems); discrete event structure; conflict relation; axiomatization; decidability.