• 时序petri网 - 引用次数：3

  The paper simulates and analyzes the ACID transaction of distributed system by using the temporal Petri nets, provides an analysis method for building the transaction processing system based on CORBA.

  用时序Petri网模拟和分析了分布式系统的ACID事务处理，为构建基于CORBA的事务处理系统提供了分析方法。

  参考来源 - 分布式系统形式化建模技术研究

·2,447,543篇论文数据，部分数据来源于NoteExpress