Search For:

Displaying 1-2 out of 2 total
Modifying Simulation Model under Mixed Traffic Condition
Found in: Information Science and Engieering, International Symposium on
By Bohang Liu, Xikui Lv, Qingbing Li, Jinglong Wu
Issue Date:December 2009
pp. 493-496
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
Found in: Computer Science and Information Engineering, World Congress on
By Zhang Peng, Qi Mei, Liu Xikui
Issue Date:April 2009
pp. 330-333
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....