Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/07/01 Vol. E86-ANo. 7pp. 1790-1798 Type of Manuscript: PAPER Category: Systems and Control Keyword: lossy controlled Petri net, synthesis, forbidden state,