协同技术： 仿真实验形式化验证
应用领域-供应链： 物流业航空物流
应用领域-其他： 共享模式集装箱共享
应用领域-金融： 交易交易数据信用度
核心技术-数据存储： 区块结构区块链区块链技术数据区块
核心技术-智能合约： 智能合约
基于区块链原理的集装箱共享模式下集装箱运输流程建模与仿真
基于模糊Petri网的航空物流区块链应用路径设计
基于DCPN的区块链小额实时交易策略
基于CPN的智能合约交易顺序依赖漏洞的验证
