混合语义时间Petri网的特征条件及时间性质

摘要：

针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,并给出混合语义模型的特征条件,比较混合语义模型与强、弱语义模型的时间互模拟能力,证明混合语义模型的正确性和时间行为的不可替代性.

关键词：时间Petri网、混合语义模型、特征条件、时间互模拟

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61103115;湖南省自然科学基金11JJ4058,11JJ2037;湖南省教育厅科研项目11A041,11B055;国家社会科学基金项目13CJY007;湖南省高校科技创新团队支持计划湘教通[2012]318-18

在线出版日期：2015-01-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：202-205,230