机译:在活动数据库上测量触发交互复杂度
机译:将带有定性令牌的彩色Petri网自动转换为带有定性令牌的彩色Petri网
机译:将活动对象转换为彩色Petri网以进行通信分析
机译:条件有色Petri网的应用:主动数据库系统
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:DB-Nets:关于有色petri网和关系数据库的结合
机译:利用语义网络对数据库进行检索,并检索广义随机有色petri网