搜索筛选:
搜索耗时0.4865秒,为你在为你在102,267,441篇论文里面共找到 1 篇相符的论文内容
发布年度:
[学位论文] 作者：王云河,
来源：中国科学院研究生院 中国科学院大学 年份：2012
形式化模型的行为语义确定了系统行为的执行方式，是系统性质验证的基础。本文基于Petri网模型，提出行为的一种描述方式——标准变迁集语义。这种语义提供了Petri网发生行为的一......
相关搜索：
