Grzegorz J.布林诺斯基。 移动机器人的Petri网模型。 （英语） Zbl 0854.93095号 控制网络。 24，第1期，47-75（1995）. MSC公司： 93C85号 控制理论中的自动化系统（机器人等） 93A30型 系统数学建模（MSC2010） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 93C99号 控制理论中的模型系统 关键词：并行系统；Petri网建模；活泼；定时事件；自主导航车辆；移动机器人 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Blinowski}，控制网络。24，第1号，47--75（1995；Zbl 0854.93095）