Logics for Petri-Nets: Partial Order Logics, Branching Time Logics and How to Distinguish Between them.

For the most recent entries see the Petri Nets Newsletter.

Logics for Petri-Nets: Partial Order Logics, Branching Time Logics and How to Distinguish Between them.

In: Petri Net Newsletter No. 33, pages 9-14. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, August 1989.

Keywords: partial order logic; branching time logic.

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

Back to the Petri Nets Bibliography