Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10 ;
pp. 1663-1671 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: Petri nets, reachability, conformance test, OSI protocol, test logic, test spquence,