近日，我院潘理博士在时间Petri网方面的研究成果《A Configurable State Class Method for Temporal Analysis of Time Petri Nets》在国际著名期刊《IEEE Transactions on Systems, Man, and Cybernetics: Systems》上发表。

该论文主要研究基于状态类的时间Petri网任务序列执行延时计算方法。通过分解状态类的可实施域和实施规则，使时间Petri网具备一种柔性的可配置状态类结构。可实施域分解为核心域和可配置域，其中核心域用于支持状态类的基本进化，可配置域用于计算端到端延时；两个域采用统一的时间约束表示方法，使得端到端延时计算可与状态类进化同步执行，提高了延时计算效率。实施规则分解为基本的计时操作，不但使端到端延时计算更加灵活，而且为时间Petri网模型扩展新的计时操作提供了新途径。另外，据此研制了时间Petri网的建模分析工具软件（http://61.187.92.238:8105/html/kexueyanjiu/2013/0526/1039.html）。理论证明和实验分析表明，该论文提出的可配置状态类方法在on-the-fly延时计算方面比现有状态类方法具有更好的时间效率和灵活性，可为复杂离散事件动态系统的建模和实时分析提供有效的方法支持。

这是我院信息与通信工程硕士学位授权学科、“复杂工业物流系统优化与控制”湖南省高校科技创新团队和“复杂系统优化与控制”湖南省高校重点实验室加强内涵建设的又一突出成果。