For the most recent entries see the Petri Nets Newsletter.

Keyword: first-order logic

Felder, M.; Mandrioli, D.; Morzenti, A.:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. 1994.
Tuominen, Heikki:
Proving Properties of Place/Transition-Nets with a Resolution Theorem Prover. 1991.
Yen, Hsu-Chun:
A Logic for Petri Nets and its Applications. 1989.

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

Back to the Petri Nets Bibliography