Skip to main content

Department of Computer Science Technical Reports

Logical Inference of Horn Clauses in Petri Net Models

C. Lin
A. Chaudhury
A. B. Whinston
Dan C. Marinescu

Date of this Version

1991

Tech Report Number

91-031

Number of Pages

20

Included in

Computer Sciences Commons

COinS