Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

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 < pharmaceutical drug  Facettes :

List of bibliographic references indexed by petri nets

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
007510 (2003) Jean-Yves MoyenAnalyse de la complexité et transformation de programmes
007640 (2003) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieDesign of live and maximally permissive Petri net controller using theory of regions
007852 (2003) Jean-Yves Marion ; Jean-Yves MoyenTermination and resource analysis of assembly programs by Petri nets
008112 (2002) Asma GhaffariLes réseaux de Petri pour la synthèse de contrôle des systèmes à événements discrets
008354 (2002) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieNet transformation and theory of regions for optimal control of Petri nets
008360 (2002) Asma Ghaffari ; Fehmi Reben Njima ; N. Rezg ; Xiaolan XieDesign and coordination of partial Petri net controllers for a maximally permissive supervisory control
008363 (2002) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieAlgebraic and geometric characterization of Petri net controllers using the theory of regions
008417 (2002) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieTheory of regions based synthesis of the maximally permissive and non blocking supervisory control
008561 (2002) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieLive and maximally permissive controller synthesis using the theory of regions
008D42 (2001) Asma Ghaffari ; Nidhal Rezg ; Xiaolan XieConception du superviseur optimal vivant à l'aide de la théorie des régions
008D68 (2001) Bruno GaujalConvexité discrète et régularité ; application au contrôle des systèmes à événements discrets
009629 (2001) Philippe Darondeau [France] ; Xiaolan Xie [France]Linear Control of Live Marked Graphs
009A67 (2000) Gülgün Alpan ; Bruno GaujalSupervisory Control of Petri Nets using routing function : Starvation avoidance issues
009B50 (2000) Didier Galmiche ; Dominique Larchey-WendlingResource models and proof-search in Intuitionistic Linear Logic
00A551 (1999) Stefan HaarProperties of Untimed Routed Petri Nets
00A620 (1999) Stefan HaarOn Occurrence Net Semantics of Petri Nets
00A638 (1999) Didier Galmiche ; Dominique Larchey-WendlingFrom Ordered Monoids to Quantales and Petri Nets : Revised Semantics and Completeness Results in Intuitionistic Linear Logic
00A819 (1999) Stefan HaarOccurrence Net Logics

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/KwdEn.i -k "petri nets" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.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=    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