李彤 王景光 王斌 庞善臣 陆维明 俞汝勤 林贵献 吴朝阳 周长红 丁志军 许安国 张军旗 倪丽娜 王培良 沈国励 夏传良 刘怡俊 陈平华 孙萍 王炜 张坤 张金泉 甘仞初 王存嫦 韩莹洁 吴哲辉 张尧学 李孝忠 邱经华 蒋昌俊

Petri网 有界性 活性单调性 软故障 有界性 后继状态转移概率 状态不变性 失活 安全性 死锁 控制 可重复 DNA计算 同步合成 可回复性 系统建模 家态 算法 活性控制 引导扇异常 公平性 定量分析 测试 可重复性 系统设计 活性单调性 行为不变性 多项式时间 等离子体聚合膜 压电免疫传感器

Petri网

有界性 活性单调性