On the equivalence of FSM and Petri net and its application in EC negotiation

被引:0
作者
Ji, SJ [1 ]
Liang, YQ [1 ]
Wu, ZH [1 ]
Tian, QJ [1 ]
机构
[1] Shandong Univ, Sch Informat Sci & Engn, Shandong 271019, Peoples R China
来源
PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING, VOLS 1 AND 2 | 2004年
关键词
Finite State Machine (FSM); Petri net; negotiation protocol; agent;
D O I
暂无
中图分类号
F8 [财政、金融];
学科分类号
0202 ;
摘要
As description tools, Finite State Machine and Petri net all have intuitive graphic form and are simple to implement. And they describe a system from two different aspects. The literatures describing automatic negotiation protocols using these two tools respectively are many, but few papers combine them. In this paper, we give out the proof of the equivalence of FSM and Petri net, and then present an approach, which combines FSM with Petri net to describe 1-1 negotiation protocol. It can explain 1-1 negotiation protocol, more objectively and accurately.
引用
收藏
页码:84 / 88
页数:5
相关论文
共 50 条
[31]   Petri Net Model and Its Optimization for the Problem of Robot Rescue Path Planning [J].
Geng, Na ;
Gong, Dun-wei ;
Zhang, Yong .
INTELLIGENT COMPUTING THEORIES AND APPLICATION, ICIC 2017, PT I, 2017, 10361 :551-563
[32]   Application of Petri Net in the planning of a shearing-cut and bending progressive die workstation [J].
Lin, ZC ;
Deng, CH .
INTERNATIONAL JOURNAL OF MATERIALS & PRODUCT TECHNOLOGY, 2001, 16 (6-7) :579-591
[33]   The application of active database based on Petri net detection technology in power monitor system [J].
Ji, Li ;
Zhou Buxiang ;
Shi, Chen ;
Nan, Lin .
2008 THIRD INTERNATIONAL CONFERENCE ON ELECTRIC UTILITY DEREGULATION AND RESTRUCTURING AND POWER TECHNOLOGIES, VOLS 1-6, 2008, :2003-2006
[34]   Application of Fault Tree Analysis and Petri Net Modeling in Perishable Product Supply Chain [J].
Bhardwaj, Manisha ;
Agrawall, Rajat .
2020 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEE IEEM), 2020, :1189-1193
[35]   Towards an Automated Test Sequence Generation for Mobile Application using Colored Petri Net [J].
Puspika, Blasius Neri ;
Hendradjaya, Bayu ;
Sunindyo, Wikan Danar .
5TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING AND INFORMATICS 2015, 2015, :445-449
[36]   Learning Petri Network and its application to nonlinear system control [J].
Hirasawa, K ;
Ohbayashi, M ;
Sakai, S ;
Hu, JL .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1998, 28 (06) :781-789
[37]   The Application of Local Adaptive Fuzzy Petri Net in Result Prediction of Multiple-Factor Issues [J].
Meng, Dongxue ;
Liu, Shufen ;
Han, Lu .
HUMAN CENTERED COMPUTING, HCC 2014, 2015, 8944 :512-521
[38]   Construction and application of combat units mission reliability simulation model based on Petri-net [J].
Feng Huijuan ;
Yu Yongli ;
Zhang Liu ;
Nie Chenglong .
PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON MAINTENANCE ENGINEERING, 2006, :992-996
[39]   A New Modified Reachability Graph of ω-independent Petri Nets and its Application [J].
Yang, Ru ;
Ding, Zhijun ;
Pan, Meiqin .
2ND INTERNATIONAL CONFERENCE ON COMMUNICATION AND TECHNOLOGY (ICCT 2015), 2015, :63-70
[40]   ON THE STOCHASTIC TIMED PETRI NETS MODEL AND ITS APPLICATION TO THE DQDB PROTOCOL [J].
JUANOLE, G ;
ATAMNA, Y ;
CARMO, RLR .
ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1994, 49 (5-6) :324-336