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

Index « Titre (en) » - entrée « petri »
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.
petraea < petri < petrireve  Facettes :

List of bibliographic references indexed by petri

Number of relevant bibliographic references: 57.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
003378 (2009-09-28) Olga Kouchnarenko [France] ; Natalia Sidorova ; Nikola TrckaPetri Nets with May/Must Semantics
003405 (2009-09-10) Helene Kirchner [France] ; Hejiao HuangComponent-based Security Policy Design with Colored Petri Nets
003466 (2009-07-20) Hejiao Huang ; Helene Kirchner [France]Policy Composition based on Petri Nets
003539 (2009-06-19) Hejiao Huang [France] ; Helene Kirchner [France]Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets
003540 (2009-06-19) Hejiao Huang [France] ; Helene Kirchner [France]Modular Security Policy Design based on Extended Petri Nets
006753 (2004) Bruno Gaujal [France] ; Alessandro GiuaOptimal stationary behavior for a class of timed continuous Petri nets
007451 (2003) Asma Ghaffari [France] ; Nidhal Rezg [France] ; Xiaolan Xie [France]Design of live and maximally permissive Petri net controller using theory of regions
007622 (2003) Zhi Wang ; Fang Huang ; Youxian Sun ; Ye Qiong SongColored Petri Net Model of IEC Function Block and Its Application
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
007D44 (2003) Jean-Yves Marion [France] ; Jean-Yves Moyen [France]Termination and resource analysis of assembly programs by Petri nets
007E50 (2003) Zhi Wang ; Fang Huang ; Youxian Sun ; Ye-Qiong Song [France]Colored Petri Net Model of IEC Function Block and Its Application
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
008318 (2002) Bruno Gaujal ; Alessandro GiuaTimed continuous Petri nets and optimization via linear programming
008323 (2002) Gulgun Alpan ; Bruno GaujalOptimal routing in timed continuous Petri nets applied to scheduling assignment problems
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
008454 (2002) Bruno Gaujal ; Alessandro GiuaOptimal routing of continuous timed Petri nets

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/Title.i -k "petri" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "petri" \
         | 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=    Title.i
   |clé=    petri
}}

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