Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/25 Vol. E83-ANo. 11pp. 2166-2176 Type of Manuscript: INVITED PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri nets, networked-virtual environments, fuzzy timing, formal modeling,