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