skip to content
Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo Preview this item
ClosePreview this item
Checking...

Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo

Author: Alain Finkel; Guy Vidal-Naquet; Université de Paris-Sud.; Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne).
Publisher: [S.l.] : [s.n.], 1986.
Dissertation: Thèse de doctorat : Informatique : Paris 11 : 1986.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : FrenchView all editions and formats
Database:WorldCat
Summary:
Nous présentons une structure sur les systèmes de transitions telle que les principaux algorithmes existant sur les réseaux de Petri se généralisent aux systèmes de transitions structurés. L'arborescence réduite d'un système de transitions structuré est définie; elle permet de décider la finitude de l'ensemble des états accessibles et de l'ensemble des séquences franchissables. La définition du graphe
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Alain Finkel; Guy Vidal-Naquet; Université de Paris-Sud.; Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne).
OCLC Number: 490193761
Description: 1 vol. (289 p.) : ill. ; 30 cm.
Responsibility: Alain Finkel ; [sous la direction de] Guy Vidal-Naquet.

Abstract:

Nous présentons une structure sur les systèmes de transitions telle que les principaux algorithmes existant sur les réseaux de Petri se généralisent aux systèmes de transitions structurés. L'arborescence réduite d'un système de transitions structuré est définie; elle permet de décider la finitude de l'ensemble des états accessibles et de l'ensemble des séquences franchissables. La définition du graphe de couverture, introduite par Karp et Miller pour les schémas de programmes parallèles, est généralisée aux systèmes de transitions bien structurés. Pour ceux-ci on montre que la quasi-vivacité et l'absence de blocage sont deux problèmes décidables. Nous introduisons la notion d'isomorphisme de systèmes de transitions structurés et nous montrons que le produit fini de systèmes de transitions structurés est encore un système de transitions structuré. Nous appliquons ensuite ces résultats généraux à deux classes de réseaux à files structurés: les réseaux monogènes et les réseaux à choix libre. Il est de plus montré qu'un réseau monogène est simulé par un réseau de Petri intersecté par un automate fini; il existe aussi une relation entre le langage d'un réseau à choix libre et le langage de son réseau de Petri coloré associé: celui-ci est inclus dans les permutations du langage du réseau à choix libre. Ces deux relations permettent de décider la vivacité d'un réseau monogène ou à choix libre. D'autres résultats concernant la puissance d'expression des réseaux à files, le contrôle de processus par automate fini et la théorie des langages de réseaux de Petri et de réseaux à files sont aussi exposés.

We present a structure for transition systems such that mains algorithms on Petri nets can be generalized to structured transition systems. We define the reduced tree of a structured transition system; it allows deciding the finiteness of the reachability set and of the language of firing sequences. The definition of the cover ability graph, introduced by Karp and Miller for parallel program schemata, is extended for well-structured transition systems. We show that quasi-liveness and deadlock freedom are two decidable problems in the framework of well-structured transition systems. We introduce the notion of structured transition systems isomorphism and we show that the finite product of structured transition systems is still a structured transition system. We then apply these results for two classes of structured Fifo nets called monogeneous nets and free choice nets. It is shown that any monogeneous net is simulated by a Petri net intersected with a finite automaton; there also exists a relation between free choice net language and its associated colored Petri net language: this language is included in all permutations of the free choice net language. These two relations allow deciding the liveness of a monogeneous net or a free choice net. Others results about the expression power of Fifo nets, control of processes by finite automaton and formal languages theory of Petri nets and Fifo nets are also given.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/490193761> # Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo
    a bgn:Thesis, schema:Book, schema:CreativeWork ;
   bgn:inSupportOf "Thèse de doctorat : Informatique : Paris 11 : 1986." ;
   library:oclcnum "490193761" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/12291736#Place/s_l> ; # S.l.
   schema:about <http://experiment.worldcat.org/entity/work/data/12291736#Topic/systemes_informatiques_theses_et_ecrits_academiques> ; # Systèmes informatiques--Thèses et écrits académiques
   schema:about <http://experiment.worldcat.org/entity/work/data/12291736#Topic/decidabilite_logique_mathematique_theses_et_ecrits_academiques> ; # Décidabilité (logique mathématique)--Thèses et écrits académiques
   schema:about <http://experiment.worldcat.org/entity/work/data/12291736#Thing/arbre_de_couverture> ; # Arbre de couverture
   schema:about <http://experiment.worldcat.org/entity/work/data/12291736#Thing/reseau_de_petri> ; # Réseau de Pétri
   schema:about <http://experiment.worldcat.org/entity/work/data/12291736#Thing/systemes_paralleles> ; # Systèmes parallèles
   schema:about <http://experiment.worldcat.org/entity/work/data/12291736#Thing/reseau_a_files_structure> ; # Réseau à files structuré
   schema:author <http://viaf.org/viaf/101593837> ; # Alain Finkel
   schema:contributor <http://viaf.org/viaf/48223988> ; # Guy Vidal-Naquet
   schema:contributor <http://experiment.worldcat.org/entity/work/data/12291736#Organization/universite_de_paris_sud> ; # Université de Paris-Sud.
   schema:contributor <http://viaf.org/viaf/313172559> ; # Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne).
   schema:datePublished "1986" ;
   schema:description "We present a structure for transition systems such that mains algorithms on Petri nets can be generalized to structured transition systems. We define the reduced tree of a structured transition system; it allows deciding the finiteness of the reachability set and of the language of firing sequences. The definition of the cover ability graph, introduced by Karp and Miller for parallel program schemata, is extended for well-structured transition systems. We show that quasi-liveness and deadlock freedom are two decidable problems in the framework of well-structured transition systems. We introduce the notion of structured transition systems isomorphism and we show that the finite product of structured transition systems is still a structured transition system. We then apply these results for two classes of structured Fifo nets called monogeneous nets and free choice nets. It is shown that any monogeneous net is simulated by a Petri net intersected with a finite automaton; there also exists a relation between free choice net language and its associated colored Petri net language: this language is included in all permutations of the free choice net language. These two relations allow deciding the liveness of a monogeneous net or a free choice net. Others results about the expression power of Fifo nets, control of processes by finite automaton and formal languages theory of Petri nets and Fifo nets are also given."@fr ;
   schema:description "Nous présentons une structure sur les systèmes de transitions telle que les principaux algorithmes existant sur les réseaux de Petri se généralisent aux systèmes de transitions structurés. L'arborescence réduite d'un système de transitions structuré est définie; elle permet de décider la finitude de l'ensemble des états accessibles et de l'ensemble des séquences franchissables. La définition du graphe de couverture, introduite par Karp et Miller pour les schémas de programmes parallèles, est généralisée aux systèmes de transitions bien structurés. Pour ceux-ci on montre que la quasi-vivacité et l'absence de blocage sont deux problèmes décidables. Nous introduisons la notion d'isomorphisme de systèmes de transitions structurés et nous montrons que le produit fini de systèmes de transitions structurés est encore un système de transitions structuré. Nous appliquons ensuite ces résultats généraux à deux classes de réseaux à files structurés: les réseaux monogènes et les réseaux à choix libre. Il est de plus montré qu'un réseau monogène est simulé par un réseau de Petri intersecté par un automate fini; il existe aussi une relation entre le langage d'un réseau à choix libre et le langage de son réseau de Petri coloré associé: celui-ci est inclus dans les permutations du langage du réseau à choix libre. Ces deux relations permettent de décider la vivacité d'un réseau monogène ou à choix libre. D'autres résultats concernant la puissance d'expression des réseaux à files, le contrôle de processus par automate fini et la théorie des langages de réseaux de Petri et de réseaux à files sont aussi exposés."@fr ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/12291736> ;
   schema:inLanguage "fr" ;
   schema:name "Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo"@fr ;
   schema:productID "490193761" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/490193761#PublicationEvent/s_l_s_n_1986> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/12291736#Agent/s_n> ; # [s.n.]
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/490193761> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/12291736#Organization/universite_de_paris_sud> # Université de Paris-Sud.
    a schema:Organization ;
   schema:name "Université de Paris-Sud." ;
    .

<http://experiment.worldcat.org/entity/work/data/12291736#Thing/arbre_de_couverture> # Arbre de couverture
    a schema:Thing ;
   schema:name "Arbre de couverture" ;
    .

<http://experiment.worldcat.org/entity/work/data/12291736#Thing/reseau_a_files_structure> # Réseau à files structuré
    a schema:Thing ;
   schema:name "Réseau à files structuré" ;
    .

<http://experiment.worldcat.org/entity/work/data/12291736#Thing/reseau_de_petri> # Réseau de Pétri
    a schema:Thing ;
   schema:name "Réseau de Pétri" ;
    .

<http://experiment.worldcat.org/entity/work/data/12291736#Thing/systemes_paralleles> # Systèmes parallèles
    a schema:Thing ;
   schema:name "Systèmes parallèles" ;
    .

<http://experiment.worldcat.org/entity/work/data/12291736#Topic/decidabilite_logique_mathematique_theses_et_ecrits_academiques> # Décidabilité (logique mathématique)--Thèses et écrits académiques
    a schema:Intangible ;
   schema:name "Décidabilité (logique mathématique)--Thèses et écrits académiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/12291736#Topic/systemes_informatiques_theses_et_ecrits_academiques> # Systèmes informatiques--Thèses et écrits académiques
    a schema:Intangible ;
   schema:name "Systèmes informatiques--Thèses et écrits académiques"@fr ;
    .

<http://viaf.org/viaf/101593837> # Alain Finkel
    a schema:Person ;
   schema:birthDate "1958" ;
   schema:deathDate "" ;
   schema:familyName "Finkel" ;
   schema:givenName "Alain" ;
   schema:name "Alain Finkel" ;
    .

<http://viaf.org/viaf/313172559> # Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne).
    a schema:Organization ;
   schema:name "Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne)." ;
    .

<http://viaf.org/viaf/48223988> # Guy Vidal-Naquet
    a schema:Person ;
   schema:familyName "Vidal-Naquet" ;
   schema:givenName "Guy" ;
   schema:name "Guy Vidal-Naquet" ;
    .

<http://www.worldcat.org/title/-/oclc/490193761>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/490193761> ; # Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.