Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/11/25 Vol. E79-ANo. 11pp. 1825-1828 Type of Manuscript: Special Section LETTER (Special Section on Description Models for Concurrent Systems and Their Applications) Category: Keyword: general Petri nets, minimal siphons, polynomial-time algorithms, strongly connectednedd, NP-completeness,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/11/25 Vol. E79-ANo. 11pp. 1817-1824 Type of Manuscript: Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications) Category: Keyword: general Petri nets, minimal siphons, polynomial-time algorithms, strongly connectedness, NP-completeness,