Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-ANo. 11 ;
pp. 1479-1486 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: state space explosion, discrete event systems, concurrent systems, system verification,
Reduced State Space Generation of Concurrent Systems Using Weak Persistency kunihiko HIRAISHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10 ;
pp. 1602-1606 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: state space explosion, discrete event systems, concurrent systems, system verification,