Logical Inference of Horn Clauses in Petri Net Models

by Purdue University. Department of Computer Sciences · 1991