Tech Report Number
91-031
Date of this Version
4-17-1991
Recommended Citation
Lin, C.; Chaudhury, A.; Whinston, A. B.; and Marinescu, Dan C., "Logical Inference of Horn Clauses in Petri Net Models" (1991). Department of Computer Science Technical Reports. Paper 878.
https://docs.lib.purdue.edu/cstech/878
Number of Pages
20