For the most recent entries see the Petri Nets Newsletter.

Temporal Logics for Elementary Net Systems.

Sinachopoulos, A.

Arbeitspapiere der GMD No. 353. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, 1988.

Abstract: Partial Order Logics have the same operators as linear time logic but their axiomaitc reflects properties of partial orders, ie the occurrence ordering of the components of the system. The aim of this work is to find an axiomatic basis justifying the use of temporal logic in net theory and expressing the semantics of Partial Order Logics.


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

Back to the Petri Nets Bibliography