Keywords
Curation
Crin
Racine
Curation
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Crin)

Index « Keywords » - entrée « petri nets »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
petri net synthesis < petri nets < phase sortal predicate  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
002587 (1999) Didier Galmiche ; Dominique Larchey-WendlingFrom Ordered Monoids to Quantales and Petri Nets : Revised Semantics and Completeness Results in Intuitionistic Linear Logic
002743 (1999) Stefan HaarOccurrence Net Logics
002744 (1999) Stefan HaarOn Occurrence Net Semantics of Petri Nets
002745 (1999) Stefan HaarProperties of Untimed Routed Petri Nets
002A84 (2000) Gülgün Alpan ; Bruno GaujalSupervisory Control of Petri Nets using routing function : Starvation avoidance issues
002C51 (2000) Didier Galmiche ; Dominique Larchey-WendlingResource models and proof-search in Intuitionistic Linear Logic
002F89 (2001) Bruno GaujalConvexité discrète et régularité ; application au contrôle des systèmes à événements discrets
003143 (2001) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieConception du superviseur optimal vivant à l'aide de la théorie des régions
003548 (2002) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieTheory of regions based synthesis of the maximally permissive and non blocking supervisory control
003550 (2002) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieLive and maximally permissive controller synthesis using the theory of regions
003556 (2002) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieAlgebraic and geometric characterization of Petri net controllers using the theory of regions
003558 (2002) Asma Ghaffari ; Fehmi Reben Njima ; N. Rezg ; Xiaolan XieDesign and coordination of partial Petri net controllers for a maximally permissive supervisory control
003564 (2002) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieNet transformation and theory of regions for optimal control of Petri nets
003569 (2002) Asma GhaffariLes réseaux de Petri pour la synthèse de contrôle des systèmes à événements discrets
003755 (2003) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieDesign of live and maximally permissive Petri net controller using theory of regions
003A76 (2003) Jean-Yves Marion ; Jean-Yves MoyenTermination and resource analysis of assembly programs by Petri nets
003C28 (2003) Jean-Yves MoyenAnalyse de la complexité et transformation de programmes

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i -k "petri nets" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "petri nets" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    petri nets
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022