论文部分内容阅读
针对在时间多尺度条件下制造系统同时具有离散和连续事件,经典的极大代数方法已经不能描述连续事件问题,提出了一种基于混杂时间Petri网的建模方法,通过建立一个新型的双子代数系统,把混杂时间Petri网模型转化为极大代数模型.在极大代数模型基础上,借鉴自动机理论和格理论,通过定义保并映射和保交映射等概念,提出了一种监控器设计方法.这样我们可以继续在极大代数框架下研究时间多尺度条件下制造系统的建模和控制.一个简单的示例说明了极大代数方法的有效性.
Aiming to the problem that the system of maximal algebra can not describe the continuous event problem when manufacturing the system with discrete time and continuous events under the condition of multi-scale time, a method of modeling based on hybrid time Petri nets is proposed. By establishing a new type of geminar algebra System, the hybrid Petri nets model is transformed into a maximal algebraic model.On the basis of the maximal algebraic model, by using the lattice theory of automaton theory and by defining concepts such as guaranteed-preserving mappings and guaranteed mappings, a monitor design Method so that we can continue to study the modeling and control of manufacturing systems under time-scale conditions under the framework of maximal algebra A simple example illustrates the effectiveness of maximal algebraic methods.