退出
我的积分:
中文文献批量获取
外文文献批量获取
王振; 杜玉越; 亓亮;
山东科技大学计算机科学与工程学院;
山东青岛266590;
并发系统; 逻辑Petri网; 颜色逻辑Petri网; 可达性分析; 电子商务系统;
机译:通过标记可达性图对逻辑Petri网进行属性分析
机译:基于关联矩阵的逻辑Petri网可达性分析
机译:关于Petri网的单调扩展的可覆盖性和可达性语言
机译:通过类似知识的Petri网的可达性图验证知识的计算树逻辑
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:PIRK:高维非线性系统的可扩展间隔可达性分析
机译:使用具有稳定模型语义的逻辑程序来解决1安全petri网的死锁和可达性问题
机译:petri网可达性集强连通性的可判定问题。
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
机译:多线程可达性分析的方法,逻辑装置和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。