DefinePK

Abstract

For analyzing large discrete event systems, the validation of their models is often addressed via simulation. The study presents lookahead computation methods which is based on a part of optimism computed on the prediction time each logical process can determine for its advancement, so it is a good method that improves the distributed simulation performance based on Timed Transition Petri Nets (TTPN). Then, the partition methods of distributed system are proposed by using the specialties of lookahead, which can avoid to partition model blindly. Aimed to the deficiency of process-processor mapping algorithm, an improved algorithm is presented. Theoretical analysis and experimental results indicate that the improved algorithms are very effective.