Validation methodology of layered systems by Petri Nets : application to Transport protocol
type: Dataset
description: We develop a method to validate concurrent layered systems. We define two concepts : model concordance (the model verifies the specification properties) and service consistency (the protocol fulfills its service). We apply our validation method to the Transport protocol (ISO Layer 4). We study loss of connection synchronization in Network layer service and credit requisition in Transport layer protocol. We use High-Level Petri Nets to formally describe the Network service and the Transport protocol. The abstraction concept can be extended to high-level Petri Nets. The correct behavior of the Transport protocol is proved by the model invariants.
landing page: https://theses.hal.science/tel-00864063
keyword: congestion-control
keyword: controle-de-flux
keyword: high-level-petri-nets
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-dccomputer-science-csdistributed-parallel-and-cluster-computing-csdc
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: infoinfo-nicomputer-science-csnetworking-and-internet-architecture-csni
keyword: infoinfo-sccomputer-science-cssymbolic-computation-cssc
keyword: la-concordance-de-modele
keyword: ladequation-de-service
keyword: layered-concurrent-systems
keyword: loss-of-connection-synchronization
keyword: methodologie-de-validation-formelle
keyword: model-concordance
keyword: perte-de-synchronisation-de-la-connexion-reseau
keyword: protocole-transport
keyword: requisition-de-credit
keyword: reseaux-de-petri-a-predicats
keyword: reseaux-de-telecommunication
keyword: service-consistency
keyword: systemes-repartis-structures-en-couches
keyword: telecommunication-networks
keyword: theses
keyword: transport-credit-requisition
keyword: transport-protocol
keyword: validation-methodology
issued: 2026-05-09T16:23:30.119877
modified: 2026-05-09T16:23:30.119881
language: fr
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Validation methodology of layered systems by Petri Nets : application to Transport protocol
type: Distribution
format: HTML
access URL: https://theses.hal.science/tel-00864063
issued: 2026-05-09T16:23:30.122160
modified: 2026-05-09T16:23:30.091145