位置：成果数据库 > 期刊 > 期刊详情页
基于扩展颜色Petri网的拍卖协议建模与分析
  • 期刊名称：小型微型计算机系统,2009,(5)
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程] F7[经济管理—产业经济]
  • 作者机构：[1]山东科技大学信息科学与工程学院,山东青岛266510
  • 相关基金：国家自然科学基金重大项目（90718011）资助;山东省中青年科学家科研奖励基金项目（2006BS01019,2006BS01021）资助;山东省教育厅项目（J08LJ77）资助;泰山学者建设工程项目资助.
  • 相关项目：多方计算的安全保障机制和可信性检测与评价的关键技术研究
关键词： 主体, 自动谈判, 谈判协议, PETRI网, 可达性, agent, automated negotiation, negotiation protocol, petri net, reachability
中文摘要：

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

英文摘要：

Automated negotiation of electronic commerce is a typical application of multi-agent negotiation. The formalization of negotiation protocols is crucial to realize the automation of electronic commerce. An extended Colored Petri Net（ECPN） with inhibitor arcs and time transitions is proposed in this paper. Besides,the extended Probability State Graph（EPSG） analysis method of the ECPN is given. The ECPN modeling method and the EPSG analysis method are applied to model the auction negotiation protocol and to verify the reachability property of the protocol model.

同期刊论文项目
多方计算的安全保障机制和可信性检测与评价的关键技术研究
期刊论文 46 会议论文 14 获奖 14
同项目期刊论文
Personalized knowledge acquisition through interactive data analysis in E-learning system
Modeling and Analysis for Workflow Constrained by Resource and Non-determined Time: An Approach Base
分布式视频编码虚拟依赖信道模型研究
An Incremental Learning Algorithm for Lagrangian Support Vector Machines
Course Ontology-based User's Knowledge Requirement Acquisition from Behaviors within E-Learning Syst
Conflict Detection and Resolution for Workflow Constrained by Resources and Non-determined Duration
Petri网语言表达式及其求解算法
C/E网系统中交叠式序列的计数
可伸缩视频编码的码率控制技术研究
VBE中基于迁移工作流的VO过程研究
Web Information Extraction for Question and Answering System about Prices of Chinese Agricultural Pr
Cross-Organization Task Coordination Patterns of Urban Emergency Response Systems
A unified model for Privacy-Preserving Support Vector Machines on horizontally and vertically partit
Advances in ME/MC for Wavelet-based Scalable Video Codec
一种基于同步合成构造Petri网进程表达式的方法
基于变迁指标分解的Petri网性质分析
上下文无关语言的可重复序列及其性质
正规语言闭包运算的Petri网构造方法
A Component-based Management Platform for Multi-source Spatial Data
Development of an Agricultural Spatial Information Sharing Platform for Supporting User Personalizat
基于库所指标分解的Petri网结构性质分析
通用的个性化自动谈判服务框架及其实现
Mining Personalized User Profile Based on Interesting Points and Interesting Vectors
Recognition Algorithm Design and Complex Analysis for Languages of S-Nets.
The Estimation of Trustworthy of Grid Services Based on Neural Network
Auto-construction for Knowledge Inheritance Hierarchy of Concepts within NKIMath
Process-Mining-Based Workflow Model Fragmentation for Distributed Execution
Classification and evaluation of timed running schemas for workflow based on process mining
A Polynomial-time Decomposition Algorithm for a Petri Net based on Indexes of Transitions
电子商务系统信任管理研究综述
正规表达式与恰当终结的标准Petri网
Cryptanalysis of Hwang et al.＇s Improved Encryption Scheme
语言表达式到Petri网模型的转化及其算法
正规表达式到无空标注Petri网的构造方法
基于Petri网进程的协议测试例生成方法及其实例
安全有效的代理可验证加密签名方案
Petri网与二元文法的语言等价性
高效的具有指定验证者的签名方案
对一个改进的指定验证者代理签名方案的攻击
Set （ k, n ）-Exactly covering problem