{"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}
引用次数: 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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
