A Petri Net Model of Handshake Protocols

被引：3
|
作者：
Fossati, Luca [1 ,2 ,3 ]
Varacca, Daniele [2 ,3 ]
机构：
[1] Univ Torino, Dipartimento Informat, Turin, Italy
[2] CNRS, PPS, Paris, France
[3] Univ Paris Diderot, Paris, France
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 229卷 / 03期
关键词：
Handshake protocol; Petri nets; asynchronous communications; delay-insensitivity; transmission interference;
D O I：
10.1016/j.entcs.2009.06.039
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We propose a Petri net model of handshake protocols. These are asynchronous communication protocols which enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. We introduce the notion of handshake Petri net, a Petri net with a specific external interface. We show that the set of observable quiescent traces generated by such a net captures the properties defining a handshake protocol. Conversely we show that for any handshake protocol we can construct a corresponding net. We also study different subclasses of the model. Many examples are provided.
引用
收藏
页码：59 / 76
页数：18
相关论文
共 50 条
12345