在电子谈判过程和已有研究成果的基础上，给出了电子谈判过程的一个Petri网模型，该模型将Petri网分析和建模工具与人工智能的主体技术相结合。在建立该模型的过程中又考虑了死锁和阻塞问题。