本文建立了自动导引车系统(AGVS)的数学模型并介绍了AGVS仿真软件系统的面向对象的分析、设计和实现。 基于有向图和有色时延Petri网的理论，本文首先为AGVS建立了一个用于计算机仿真的数学模型，即有向图模型和有色时延Petri网系统模型。有向图模型主要于为通过仿真来研究自动导引车的调度方法和路由算法提供了一个有效的数学工具；而有色时延Petri网系统模型则主要用来在计算机仿真系统中描述AGV之间的冲撞和AGVS的并发特性。 在AGVS仿真软件系统的面向对象的分析中首先对这一仿真系统将如何被使用进行研究，然后致力于创建一些Use Case Diagram(用例图)和Interaction Diagram(交互图)以得到该系统的Use Case View(用例视图)。 在AGVS仿真软件系统的面向对象的设计中，将在面向对象分析阶段所得的Use Case View转换为Design View(设计视图)。所得的Design View包括体现静态关系的Class Diagram(类图)和体现动态关系的State Chart Diagram(状态图)，它被用作构建AGVS仿真软件系统的蓝图。 在AGVS仿真软件系统的面向对象的实现中，由分析和设计所得的统一建模语言的设计符号被解释为Java程序代码。 在本文中还特别介绍了诸如多线程程序设计和可视化建模之类的重要的程序设计技术。