摘要
基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness)也能保持.
Based on the shared places, this paper introduces one kind of synthesis design methods, which is convenient for reuse of many models. Meanwhile, this paper also proposes some conditions under which each stage can preserve some important behavior properties of Petri nets, such as deadlock freedom. The liveness property can also be preserved for some subclasses.
出处
《计算机学报》
EI
CSCD
北大核心
2007年第3期352-360,共9页
Chinese Journal of Computers
基金
国家自然科学基金(60473007
60421001)资助
关键词
PETRI网
特点保持
共享位置
设计
综合
Petri nets
property-preservation
shared places
design
synthesis
