一种基于Petri网表示的自动规划方法和算法

本文提出一种利用Petri网进行机器人装配规划的方法。文章主要讨论装配问题的Petri网表示问题并给出了基于该表示方法的规划算法,这个规划算法也可以应用于其它规划问题。     

事件驱动用户界面的规范设计方法

给出了一种从实际人机交互行为到用户界面规范的设计方法。方法建立在以AIP单元为基本单元的面向对象用户界面结构模型和扩充的着色网对话模型的基础上。人机交互行为由动作次序表达式的集合定义。人机交互行为作为概念规范可转换成着色网对话模型。在事件驱动的并发、多线索应用环境的支持下,Petri网对并发性的描述能力及模型引入的语义活动异步执行机制,能自然而灵活地实现多线索对话及用户界面与应用过程间的并发执行。在这里,着色网起着人机交互规范模型和执行模型两种作用。这种可执行的规范模型平滑了从系统规范到实现的过渡过程。     

大型软件系统的开发与Petri网

软件生产的一个重要问题是软件的生产率问题,这种问题在大型软件系统(如管理信息系统)的开发上更为严重。本文以大型软件系统——MEMIS[1]系统的开发实践为例,提出了使用Petri网[2,3,4]描述管理模型和作为大型软件开发工具的思想。使用Pearl网作为工具用于MEMIS系统的开发,缩短了MEMIS系统的开发周期,提高了系统的可靠性和适用性。同时,本文还提出了管理模型的计算机表示和动态模拟方法。     

基于Petri网建模与仿真的制造企业生产系统流程再造方法

对基本Perti网进行了扩充,提出了一种优化Perti网模型,使之能够支持制造企业生产系统流程再造,并提出了一种建立在层次化、模块化和标准化基础上的生产系统建模和仿真方法;运用约束理论的思想,提出了生产系统再造的流程结构优化和瓶颈优化的层次化方法,并探讨了运用时间Petri网模型寻找和消除约束的方法,目的是为制造企业生产系统渐进式流程再造提供有效的方法和工具.这种方法可以将实际系统细化为多个层次的模型,并将生产系统局部作更详细的分析,从而避免了分析整个系统的复杂性.而且,可以通过调整模块和修改模块构造新系统,从而实现生产系统再设计的快速化和柔性化.最后,对这个方法在企业的应用进行了案例分析.     

大型软件系统的开发与Petri网

软件生产的一个重要问题是软件的生产率问题,这种问题在大型软件系统(如管理信息系统)的开发上更为严重.本文以大型软件系统——MEMIS[1]系统的开发实践为例,提出了使用Petri网[2,3,4]描述管理模型和作为大型软件开发工具的思想.使用Petri网作为工具用于MEMIS系统的开发,缩短了MENIIS系统的开发周期,提高了系统的可靠性和适用性.同时,本文还提出了管理模型的计算机表示和动态模拟方法.