为了提高智能小车系统的稳定性和可靠性,采用Petri网积木描述系统各功能模块,即地图更新、路径规划、节点检测、路径选择、跟踪轨......

This paper proposes a new method of specifying multimedia synchronization basedon Duration Calculus (DC), a real time in......

Petri net is a kind of effective graphic modeling tool. The agent technology is combined with petri net in order to enha......