小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2009年
5期
947-950
,共4页
纪淑娟%梁永全%田启家%曾庆田
紀淑娟%樑永全%田啟傢%曾慶田
기숙연%량영전%전계가%증경전
主体%自动谈判%谈判协议%Petri网%可达性
主體%自動談判%談判協議%Petri網%可達性
주체%자동담판%담판협의%Petri망%가체성
电子商务自动谈判是多主体协商的典型应用.谈判协议的形式化是实现电子商务谈判自动化的关键.给出一种带抑止弧和时间变迁的颜色Petri网模型及其扩展或然状态图分析方法.用该扩展颜色Petri网模型对拍卖谈判协议进行了建模,同时用扩展或然状态图分析方法证明了协议模型的可达性.
電子商務自動談判是多主體協商的典型應用.談判協議的形式化是實現電子商務談判自動化的關鍵.給齣一種帶抑止弧和時間變遷的顏色Petri網模型及其擴展或然狀態圖分析方法.用該擴展顏色Petri網模型對拍賣談判協議進行瞭建模,同時用擴展或然狀態圖分析方法證明瞭協議模型的可達性.
전자상무자동담판시다주체협상적전형응용.담판협의적형식화시실현전자상무담판자동화적관건.급출일충대억지호화시간변천적안색Petri망모형급기확전혹연상태도분석방법.용해확전안색Petri망모형대박매담판협의진행료건모,동시용확전혹연상태도분석방법증명료협의모형적가체성.
