中文摘要：

提出一种扩展了价格信息的时间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.