近日，课题组周家忠以第一作者及通讯作者身份在离散事件系统研究领域国际知名学术期刊《Discrete Event Dynamic Systems》发表题为“An extremum timed extended reachability graph for temporal analysis of time Petri nets”的学术论文。

本文提出了一种名为极值时间扩展可达图的状态图，用于表征时间规范并表示时间Petri网的可行轨迹。该状态图通过用更一般的策略替换最早触发策略，当预先选择某个变迁进行下一次触发时，触发可以在其最小剩余时间过后延迟一段时间进行，而不是在其最小剩余时间一过就立即触发。随后，设计了一种采样时间扩展可达图，其中，对于预先选择为下一个触发的变迁，从最小剩余时间开始到最大剩余时间结束的时间间隔内，选择有限个时间点作为预先选择变迁的触发时间瞬间。此外，还提出了一种采样时间扩展可达图的特例，即极值时间扩展可达图，它仅选择变迁的最小和最大剩余时间作为激发时间。对于任意可行的变迁序列，利用该图可以很容易地计算出具有最小和最大持续时间的对应可行轨迹。