Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10pp. 1607-1616 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: MVL logic synthesis, MVL Petri nets, Galois field algebra, optimization,