A Petri Net Model of HandShake Protocols
International audience 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 \emph{handshake P...
Main Authors: | , |
---|---|
Other Authors: | , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2008
|
Subjects: | |
Online Access: | https://hal.science/hal-00496907 |
id |
ftunivparis:oai:HAL:hal-00496907v1 |
---|---|
record_format |
openpolar |
spelling |
ftunivparis:oai:HAL:hal-00496907v1 2024-02-04T10:01:28+01:00 A Petri Net Model of HandShake Protocols Fossati, Luca Varacca, Daniele Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) Dipartimento di Informatica Torino Università degli studi di Torino = University of Turin (UNITO) Reykjavik, Iceland 2008-07-06 https://hal.science/hal-00496907 en eng HAL CCSD hal-00496907 https://hal.science/hal-00496907 A Petri Net Model of HandShake Protocols ICE 08 https://hal.science/hal-00496907 ICE 08, Jul 2008, Reykjavik, Iceland. pp.59-76 Handshake protocol Petri nets asynchronous communications delay-insensitivity transmission interference [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] info:eu-repo/semantics/conferenceObject Conference papers 2008 ftunivparis 2024-01-10T17:17:02Z International audience 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 \emph{handshake Petri net}, a Petri net with a specific external interface. We show that the set of observable \emph{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. Conference Object Iceland Université de Paris: Portail HAL |
institution |
Open Polar |
collection |
Université de Paris: Portail HAL |
op_collection_id |
ftunivparis |
language |
English |
topic |
Handshake protocol Petri nets asynchronous communications delay-insensitivity transmission interference [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] |
spellingShingle |
Handshake protocol Petri nets asynchronous communications delay-insensitivity transmission interference [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Fossati, Luca Varacca, Daniele A Petri Net Model of HandShake Protocols |
topic_facet |
Handshake protocol Petri nets asynchronous communications delay-insensitivity transmission interference [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] |
description |
International audience 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 \emph{handshake Petri net}, a Petri net with a specific external interface. We show that the set of observable \emph{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. |
author2 |
Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) Dipartimento di Informatica Torino Università degli studi di Torino = University of Turin (UNITO) |
format |
Conference Object |
author |
Fossati, Luca Varacca, Daniele |
author_facet |
Fossati, Luca Varacca, Daniele |
author_sort |
Fossati, Luca |
title |
A Petri Net Model of HandShake Protocols |
title_short |
A Petri Net Model of HandShake Protocols |
title_full |
A Petri Net Model of HandShake Protocols |
title_fullStr |
A Petri Net Model of HandShake Protocols |
title_full_unstemmed |
A Petri Net Model of HandShake Protocols |
title_sort |
petri net model of handshake protocols |
publisher |
HAL CCSD |
publishDate |
2008 |
url |
https://hal.science/hal-00496907 |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
A Petri Net Model of HandShake Protocols ICE 08 https://hal.science/hal-00496907 ICE 08, Jul 2008, Reykjavik, Iceland. pp.59-76 |
op_relation |
hal-00496907 https://hal.science/hal-00496907 |
_version_ |
1789967383927980032 |