CS Store Search
Displaying 1-2 out of 2 total
Modifying Simulation Model under Mixed Traffic Condition
Information Science and Engieering, International Symposium on
By Bohang Liu, Xikui Lv, Qingbing Li, Jinglong Wu
Issue Date:December 2009
Traffic simulation technology is a practical computer simulation technology, and the development of traffic simulation software systems are usually based on the knowledge of computer and traffic. Aiming at the situation of china, an improved approach of th...
The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming
Computer Science and Information Engineering, World Congress on
By Zhang Peng, Qi Mei, Liu Xikui
Issue Date:April 2009
The Transition Refinement and Place Refinement of Petri nets are studied. the holding properties such as Behavior Invarity, Unit Relativity, Fairness and Invariants are presented, also the properties of Fairness, Invariant in the Refinement are also given....
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.