KwdFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « KwdFr.i » - 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 < peur de l'échec  Facettes :

List of bibliographic references indexed by petri nets

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
007451 (2003) Asma Ghaffari [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France]Design of live and maximally permissive Petri net controller using theory of regions
007D44 (2003) Jean-Yves Marion [France] ; Jean-Yves Moyen [France]Termination and resource analysis of assembly programs by Petri nets
007F44 (2002-10) Asma Ghaffari [France] ; Fehmi Reben Njima ; Nidhal Rezg [France] ; Xiaolan Xie [France]Design and coordination of partial Petri net controllers for a maximally permissive supervisory control
007F47 (2002-10) Asma Ghaffari [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France]Algebraic and geometric characterization of Petri net controllers using the theory of regions
008012 (2002-07) Asma Ghaffari [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France]Net transformation and theory of regions for optimal control of Petri nets
008014 (2002-07) Asma Ghaffari [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France]Live and maximally permissive controller synthesis using the theory of regions
008233 (2002) Asma Ghaffari [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France]Theory of regions based synthesis of the maximally permissive and non blocking supervisory control
008C49 (2001-10) Asma Ghaffari [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France]Conception du superviseur optimal vivant à l'aide de la théorie des régions
009936 (2000) Gülgün Alpan [France] ; Bruno Gaujal [France]Supervisory Control of Petri Nets using routing function: Starvation avoidance issues
00A150 (2000) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]Resource models and proof-search in Intuitionistic Linear Logic
00AB45 (1999) Stefan Haar [France]Occurrence Net Logics
00AD06 (1999) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i -k "petri nets" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i  \
                -Sk "petri nets" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdFr.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