基于代价时间Petri网的合同网模型研究  

Research of Contract Net Model Based on Cost Timed Petri Net

作　　者：张广胜[1] 蒋昌俊[1] 沙静[1] 孙萍[1] 

机构地区：[1]同济大学计算机科学与技术系国家高性能计算机工程技术研究中心同济分中心,上海201804

出　　处：《系统仿真学报》2008年第20期5438-5441,5445,共5页Journal of System Simulation

基　　金：国家自然科学基金资助项目(60473094);国家重点基础研究发展计划(973)项目(2003CB316902;2004CB318001-03)

摘　　要：提出一种扩展了价格信息的时间Petri网——代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型。在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证。In agent-mediated electronic markets,the negotiation has been used as a mechanism to solve the task distribution,coordination and conflict in virtual enterprises. An agent may delegate part of the assigned tasks to others to achieve the business objectives via establishment of contracts. Electronic contracting relies on an effective model to automate the negotiation processes and analyze the feasibility of the resulting contracts. Firstly,Cost Time Petri Net （CTPN） associates a price with a place,and the semantics for price time Petri net are given. Then the Cost Timed Petri Net is proposed to model the contract net protocol. In the contract net framework,the cooperation processes are verified based on CTPN model. The objectives are to propose a CTPN to model the negotiation processes in contract manufacturing,analyze the feasibility of the contracts and optimize contract awarding based on the proposed model.

关 键 词：代价时间Petri网 合同网 多智能体系统 虚拟企业 协作 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]