顺序共享单一资源自动制造系统实时PETRI网控制器的一种形式化设计方法

作     者：刘宏 李志武 叶尚辉 

作者机构：西安电子科技大学电子机械学院 

出 版 物：《电子机械工程》 (Electro-Mechanical Engineering)

年 卷 期：1996年第12卷第4期

页      面：15-21,64页

学科分类：080202[工学-机械电子工程] 08[工学] 0802[工学-机械工程] 

基　　金：国家自然科学基金 

主　　题：自动制造系统 PETRI网控制器 形式化设计 

摘      要：自动制造系统（AMSs：AutomatedManufacturingSystems）Petri网控制器形式化设计是AMSsPetri网控制器自动设计的理论基础。本文以AMSs计划（Planning）层和调度（Scheduling）层生成的工序序列（OperationSequences）和资源需求序列（ResourceRequirementSequencces）为基础，为顺序共享资源AMSs设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数，结合所设计的规格说明语言，可以自动生成AMSs实时控制PETRI网控制器的表格表达式，该表达式为模型分析和AMSs技制软件自动生成奠定了基础。最后，用一个实例说明了设计过程。