欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
基于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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：