计算机工程与应用2006，Vol.42Issue(13)：69-72,115,5.
时间Petri网弱语义模型的形式化分析
Formal Analysis for Weak Semantics Model of Time Petri Nets
潘理 1温颖文2
作者信息
- 1. 湖南理工学院计算机与信息工程系,湖南岳阳,414006
- 2. 中山大学计算机科学系,广州,510275
- 折叠
摘要
关键词
时间Petri网/弱语义/形式语义/可达性分析分类
信息技术与安全科学引用本文复制引用
潘理,温颖文..时间Petri网弱语义模型的形式化分析[J].计算机工程与应用,2006,42(13):69-72,115,5.
