自动制造系统中的事件,资源和Petri网

摘要

讨论了自动制造系统中事件的形式化表示方式，以及制造系统中的工序和资源的Ｐｅｔｒｉ网表示。在此基础上还讨论了一类自动制造系统Ｐｅｔｒｉ网关联矩阵的构造形式和初始标识的确定方法。最后提出了自动制造系统Ｐｅｔｒｉ网控制器的形式化设计方法。