{"title":"Cycle time computation in deterministically timed weighted marked graphs","authors":"M. Nakamura, M. Silva","doi":"10.1109/ETFA.1999.813105","DOIUrl":null,"url":null,"abstract":"This paper considers the minimum cycle time (MCT) computation in deterministically timed weighted marked graphs (WMGs) under infinite server semantics. A transformation from a live and bounded WMG system into a live and bounded MG system is proposed in which the untimed behavior (represented by the Petri net language) and the minimum cycle time are preserved. By applying the well known LPP to the transformed MG system, the MCT can be computed exactly. The computational complexity of our approach is polynomial with respect to |X|, the size of the elementary T-semiflow of the original WMG.","PeriodicalId":119106,"journal":{"name":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"34","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.1999.813105","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 34
Abstract
This paper considers the minimum cycle time (MCT) computation in deterministically timed weighted marked graphs (WMGs) under infinite server semantics. A transformation from a live and bounded WMG system into a live and bounded MG system is proposed in which the untimed behavior (represented by the Petri net language) and the minimum cycle time are preserved. By applying the well known LPP to the transformed MG system, the MCT can be computed exactly. The computational complexity of our approach is polynomial with respect to |X|, the size of the elementary T-semiflow of the original WMG.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
