Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) A Study about the Mapping of Process- Processor based on Petri Nets Haier International Training Center, Qingdao, China July 30-August 01 ISBN: 0-7695-2909-7
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.131
In the design and analysis of discrete event systems, the validation of their models is often addressed via simulation. Petri nets have been applied widely. Lookahead computation is a good method that improves the distributed simulation performance of Timed Transition Petri Nets (TTPN). The approach is based on a part of optimism computed on the prediction time each logical process can determine for its advancement. Timed Petri nets meet these requirements, and use the lookahead to analyze the TTPN model for finding the concurrency and blocking structure, thereby making certain the logical process (LP). Based on the specialties of lookahead, the lookahead was applied in parallel simulation, and acquire the sufficient condition about the TTPN model existing concurrency. According to the condition, parallel program can be partitioned into several logical processes, and the partition algorithm that can decide quickly the mapping project on the mapping process-processor is presented.
Index Terms:
Timed Petri Nets; Lookahead; Distributed Processing; Logical Process; Mapping
Citation:
Xianwen Fang, Zhicai Xu, Zhixiang Yin, "A Study about the Mapping of Process- Processor based on Petri Nets," snpd, vol. 1, pp.622-626, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||