Keyword : Horn clause

Protocol Verification Tool with Extended Petri Net and Horn Clause
Takashi WATANABE Tsuyoshi OHTA Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1458-1467
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
communication networks and servicesprotocol verificationPetri netPrologHorn clause
 Summary | Full Text:PDF(765.1KB)