着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了...着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.展开更多
The real-time system is used widely since the 1990's. In the paper some typical design approaches are introduced. Then the object-oriented design approach for real-time system and the use of UML is analyzed.
文摘着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.
文摘针对智能仓库出入库系统作业过程中出现的货物拥堵和设备利用率低等问题,对智能仓库出入库作业特点进行了研究,构建了智能仓库的出入库作业周期模型,采用面向对象赋时Petri网的方法建立智能仓库出入库系统的OOTPN(object oriented timed Petri net)模型,并对模型进行了死锁分析,同时也分析了模型有效性和可靠性。运用Flexsim仿真软件对建立的OOTPN模型进行仿真优化,实验结果表明,出入库工作能力直接影响堆垛机和处理器的利用率,增加出入库工作组可以有效地提高智能仓库的工作效率。
文摘The real-time system is used widely since the 1990's. In the paper some typical design approaches are introduced. Then the object-oriented design approach for real-time system and the use of UML is analyzed.