Dipartimento di Informatica -Universita di Pisa;
机译:具有读取和禁止弧的Petri网的域和事件结构语义
机译:具有抑制剂弧的Petri网的间隔语义
机译:基于带抑制弧的Petri网的π演算的分布式语义
机译:具有读取和抑制剂弧的Petri网的功能并发语义
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:基于语义相似性的蛋白质网络功能模块搜索改进了蛋白质组学数据的分析
机译:具有读弧和抑制弧的Petri网的域和事件结构语义
机译:利用语义网络对数据库进行检索,并检索广义随机有色petri网