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

摘要：

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

关键词：主体、自动谈判、谈判协议、Petri网、可达性

所属期刊栏目：30

分类号：TP18.F7(自动化基础理论)

资助基金：国家自然科学基金重大项目90718011;山东省中青年科学家科研奖励基金项目2006BS01019,2006BS01021;山东省教育厅项目J08LJ77;泰山学者建设工程项目资助

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

页数：共4页

页码：947-950