论文部分内容阅读
提出了一种扩展的Petri网建模语言(HyNet),该语言将面向对象技术、谓词逻辑和微分方程融入高级Petri网中,把托肯(token)作为对象,利用弧变量将库所(place)中托肯携带的信息传递到其后置变迁.这些信息可用来控制变迁的使能条件、规定变迁的活动和计算变迁的激发延续时间.因此,这种语言具有很强的模型描述能力,利用它所建的模型具有很好的柔性.作为案例,文中利用该语言建立了一个具体的混合流程企业的生产过程模型.