(Max,+)与(Min,+)代数中P时间事件图的分析
系统与控制
2020-03-11 v1 系统与控制
摘要
在这项工作中,我们研究了P时间事件图的行为,这是一类具有位置定时非确定性的时间Petri网。我们的方法基于在(max,+)与(min,+)半环中的组合线性描述,其中状态向量的下界是(max,+)-线性的而上界是(min,+)-线性的。我们给出了由新描述导出的极值(最快与最慢)周期轨迹存在的充要条件。结果通过一个电镀工艺的实际例子加以说明。
引用
@article{arxiv.2003.04703,
title = {Analysis of P-time Event Graphs in (Max,+) and (Min,+) Algebras},
author = {Pavel Špaček and Jan Komenda and Sébastien Lahaye},
journal= {arXiv preprint arXiv:2003.04703},
year = {2020}
}
备注
Extended version of conference paper [22]