欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Canonical Transition Set Semantics for Petri Nets
所属机构名称:中国科学院软件研究所
会议名称:31st International Conference on Appliations and Theory of Petri Nets and Other Models of Concurrenc
成果类型:会议
相关项目:并发系统的Petri网结构化分析与综合研究
作者:
Wang, Yunhe|Jiao, Li|
同会议论文项目
并发系统的Petri网结构化分析与综合研究
期刊论文 1
会议论文 2
著作 1
同项目会议论文
Property Checking for 1-Place-Unbounded Petri Nets