弱引发三态加时变迁Petri网及其在并发系统中应用

摘要：

提出的弱引发三态加时变迁Petri网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题.

关键词：并发、弱引发、加时Petri网、动态行为、逻辑特性、调度、优化

所属期刊栏目：7

分类号：O1(数学)

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

页数：共7页

页码：67-73