c****d 发帖数: 116 | 1 【 以下文字转载自 EE 讨论区,原文如下 】
发信人: chliad (Liangliang), 信区: EE
标 题: help on Petri Nets
发信站: Unknown Space - 未名空间 (Tue Jul 13 15:23:04 2004) WWW-POST
Does anyone have some deep knowledge or doing research on Petri Nets? How
about the research situation on verification process of partially symmetric
model? Any ideas? Thanks. |
|