Skip to Main content Skip to Navigation
Documents associated with scientific events

From Mutually Non-Blocking to Switched Non-Blocking DES

Abstract : The mutually non-blocking property of discrete-event systems has been introduced by Fabian and Kumar (1997). In this paper, we extend the property of mutually non-blocking from 2 to 3 elements. We also propose a definition of switched non-blocking system, and we show the mutually non-blocking property is included in the switched non-blocking property. We illustrate the result with an example of protocol conversion with switched specification.
Document type :
Documents associated with scientific events
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00876645
Contributor : Hervé Marchand <>
Submitted on : Friday, October 25, 2013 - 11:38:08 AM
Last modification on : Friday, January 29, 2021 - 1:30:02 PM
Long-term archiving on: : Monday, January 27, 2014 - 12:55:24 PM

File

Canu.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00876645, version 1

Citation

Michael Canu, Naly Rakoto-Ravalontsalama. From Mutually Non-Blocking to Switched Non-Blocking DES. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. ⟨hal-00876645⟩

Share

Metrics

Record views

402

Files downloads

112