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 条

[41] A Petri-net-based communication-aware modeling for performance evaluation of NOC application mapping [J].

Mostafa Raeisi-Varzaneh ;

Hossein Sabaghian-Bidgoli .

The Journal of Supercomputing, 2020, 76 :9246-9269

[42] A Petri-net-based communication-aware modeling for performance evaluation of NOC application mapping [J].

Raeisi-Varzaneh, Mostafa ;

Sabaghian-Bidgoli, Hossein .

JOURNAL OF SUPERCOMPUTING, 2020, 76 (11) :9246-9269

[43] Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information [J].

Miwa, Yoshimasa ;

Murakami, Yuki ;

Ge, Qi-Wei ;

Li, Chen ;

Matsuno, Hiroshi ;

Miyano, Satoru .

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2010, E93A (12) :2717-2729

[44] Petri net model of protocol conversion for CTF service: Its universal coupling criteria and property analysis [J].

Zhu, Xiaomin ;

Liao, Jianxin ;

Chen, Junliang .

INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2007, 20 (05) :533-551

[45] Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection [J].

Hao Z.-Y. ;

Lu F.-M. .

Ruan Jian Xue Bao/Journal of Software, 2021, 32 (06) :1612-1630

[46] Implementation Analysis of Reachability Graph and Its Application in Net Learning [J].

Guang, Mingjian ;

Yan, Chungang ;

Lu, Zihao ;

Duan, Rui .

2024 4TH INTERNATIONAL CONFERENCE ON COMPUTER, CONTROL AND ROBOTICS, ICCCR 2024, 2024, :72-76

[47] Synergy-incorporated Bayesian Petri Net: A method for mining "AND/OR" relation and synergy effect with application in probabilistic reasoning [J].

Wang, Xiaoliang ;

Lu, Faming ;

Zhou, Mengchu ;

Zeng, Qingtian ;

Bao, Yunxia .

INFORMATION SCIENCES, 2024, 680

[48] Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks [J].

Ding, Zuohua ;

Jiang, Mingyue ;

Zhou, MengChu .

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2016, 17 (12) :3330-3343

[49] Petri Net Control Method for Pipe-line Systems and Its Implementation via CIF3 [J].

Fu, YuHao ;

Luo, JiLiang ;

Wu, Huifeng ;

Ye, Jianhong ;

Huang, Yi-sheng .

IFAC PAPERSONLINE, 2019, 52 (24) :261-266

[50] Petri net based model for job shop scheduling problem in green manufacturing and its hybrid metaheuristic search [J].

College of Computer Science, Liaocheng University, Liaocheng 252059, China ;

不详 .

Jixie Gongcheng Xuebao, 2006, 9 (48-53+60) :48-53+60

← 1 2 3 4 5 →