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

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

{"title":"时间Petri网，一个生产线的建模和控制工具","authors":"N. Mouss, L. Mouss","doi":"10.1109/ISIC.1999.796621","DOIUrl":null,"url":null,"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.","PeriodicalId":300130,"journal":{"name":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Temporal Petri nets, a modeling and control tool of manufacturing lines\",\"authors\":\"N. Mouss, L. Mouss\",\"doi\":\"10.1109/ISIC.1999.796621\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":300130,\"journal\":{\"name\":\"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)\",\"volume\":\"26 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISIC.1999.796621\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISIC.1999.796621","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

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

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

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量