Temporal Petri nets, a modeling and control tool of manufacturing lines

Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014) Pub Date : 1900-01-01 DOI:10.1109/ISIC.1999.796621

N. Mouss, L. Mouss

引用次数: 0

Abstract

Two basic tools are used in our approach. Firstly, temporal Petri nets provide elegant models for timed systems. The obtained models are general, including any structure type such as synchronizations and conflicts. Secondly, timed automata constitute a formal framework for proofs with the objective of performance evaluation and the synthesis of the control laws. These topics correspond to our current research with an application in the domain of manufacturing lines without intermediate buffers.

查看原文本刊更多论文

时间Petri网，一个生产线的建模和控制工具

我们的方法使用了两个基本工具。首先，时间Petri网为时间系统提供了优雅的模型。获得的模型是通用的，包括任何结构类型，例如同步和冲突。其次，时间自动机以性能评价和控制规律的综合为目标，构成了一个形式的证明框架。这些主题对应于我们目前的研究与应用领域的生产线没有中间缓冲器。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)

自引率

0.00%

发文量