基于扩展颜色Petri网的拍卖协议建模与分析

摘要：

电子商务自动谈判是多主体协商的典型应用.谈判协议的形式化是实现电子商务谈判自动化的关键.给出一种带抑止弧和时间变迁的颜色Petri网模型及其扩展或然状态图分析方法.用该扩展颜色Petri网模型对拍卖谈判协议进行了建模,同时用扩展或然状态图分析方法证明了协议模型的可达性.

关键词： 自动谈判 谈判协议 Petri网 可达性 扩展颜色 电子商务

作者: 纪淑娟 梁永全 田启家 曾庆田

作者单位: 山东科技大学,信息科学与工程学院,山东,青岛,266510

会议类型: 国内会议

会议名称: 第二届全国智能信息处理学术会议

会议地点: 徐州

会议语种:中文

页码: 947-950

在线出版日期: 2009-05-01（万方平台首次上网日期，不代表论文的发表时间）