会议论文《基于扩展颜色Petri网的拍卖协议建模与分析》发表于第二届全国智能信息处理学术会议。该文提出一种利用扩展颜色Petri网对拍卖协议进行建模的方法，通过形式化手段分析协议的正确性与安全性，为智能交易系统的设计提供理论支持。
文档为pdf格式，0.33MB，总共4页。
举报
