位置：成果数据库 > 期刊 > 期刊详情页
Bisimulations for fuzzy-transition systems
  • 期刊名称：IEEE Transactions on Fuzzy Systems
  • 时间：0
  • 页码：540-552
  • 语言：英文
  • 相关项目：基于Petri网的构件组装正确性研究
作者： Guoqing Chen|Etienne E. Kerre|Yongzhi Cao|
同期刊论文项目
基于Petri网的构件组装正确性研究
期刊论文 9 会议论文 12
同项目期刊论文
A New Model for Model Checking, Cycle Weighted Kripke Structure
死路删除语义下的WS-BPEL流程的建模
A Fuzzy Petri-Nets Model for Computing With Words
基于时序可中断π演算的 BPEL 和BPEL4People 建模
The formal analysis of sequence diagram by an object-oriented timed transition system
时序π演算及其对ＭＡＲＴＥ顺序图的建模
Approximation algorithm for maximum edge coloring