SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制(Request/Response mechanism)进行通信的网系统子类Request/Response(TS)<'*>SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response(TS)<'*>SM。'/>
退出
我的积分:
中文文献批量获取
外文文献批量获取
黄小炜; 陆维明;
中国计算机学会;
请求应答; 异步通信; 模块化Petri网; 死锁; 初始标识;
机译:多级供应链的监督控制:一种用于组织间控制的模块化Petri网方法
机译:可组合参数化高级Petri网中的同步和异步通信
机译:一种新的算法,用于导出发电机的不变性和P / T Petri网的状态方程的特定解决方案 - 一种通过Z基础的一种用于增强发射矩阵的方法
机译:一种用于检查Petri网的LTL X属性的增量模块化技术
机译:模块化数据流水线架构(MDPA),用于实现P2P网格中的通用访问性。
机译:基于信令Petri网的仿真器:一种用于表征特定于小区的信令网络动力学的非参数策略
机译:一种用于检查petri网的LTL \ X属性的增量和模块化技术
机译:开发用于实现语义搜索引擎的模块化框架
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
机译:异步通信网络和实现集成电路中数据异步通信的方法
机译:用于实现模块化元件的对接的模块化元件的连接方法,该模块化元件用于实现珠宝或珠宝的物体或珠宝的名称或珠宝或珠宝的珠宝的名称,以及由所述吉欧塔制制的物体,以及由所述珠宝制成的物体
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。