Derivation of a Contradiction by Resolution Using Petri Nets.

For the most recent entries see the Petri Nets Newsletter.

Derivation of a Contradiction by Resolution Using Petri Nets.

In: Petri Net Newsletter No. 26, pages 16-29. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, April 1987.

Keywords: fact net; Horn-clause; contradiction (by) resolution (using nets).

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

Back to the Petri Nets Bibliography