共享合成Petri网的性质分析
组合Petri网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成Petri网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件.在此基础上,研究了共享合成Petri网的活性与行为不变性和状态不变性的关系,为系统合成的活性和一致性的关系提供了分析依据.
Petri网、共享合成、活性、行为不变性、状态不变性
30
TP301(计算技术、计算机技术)
国家自然科学基金60125205;国家高技术研究发展计划863计划2001AA413020;国家重点基础研究发展计划973计划2003CB316902;国家自然科学基金90412013;上海市重点基础研究项目02DJ14064
2004-12-16(万方平台首次上网日期,不代表论文的发表时间)
共5页
944-948