netflow < nets < networds

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by nets

Number of relevant bibliographic references: 105.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000377 (2015-08-25)	Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
002213 (2011-07-26)	François Lamarche [France] ; Novak Novakovic [France]	Frobenius Algebras and Classical Proof Nets
003378 (2009-09-28)	Olga Kouchnarenko [France] ; Natalia Sidorova ; Nikola Trcka	Petri Nets with May/Must Semantics
003405 (2009-09-10)	Helene Kirchner [France] ; Hejiao Huang	Component-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
004533 (2008)	François Lamarche [France]	Proof Nets for Intuitionistic Linear Logic: Essential Nets
005045 (2006-08-11)	Horatiu Cirstea [France] ; Germain Faure [France] ; Maribel Fernandez [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France]	From functional programs to interaction nets via the Rewriting Calculus
005251 (2006)	François Lamarche [France] ; Lutz Strassburger [France]	From Proof nets to the Free *-Autonomous Categories
006753 (2004)	Bruno Gaujal [France] ; Alessandro Giua	Optimal stationary behavior for a class of timed continuous Petri nets
006919 (2004)	Lutz Strassburger ; Francois Lamarche	On Proof Nets for Multiplicative Linear Logic with Units
006F41 (2004)	Lutz Strassburger [France] ; François Lamarche [France]	On Proof Nets for Multiplicative Linear Logic with Units
006F97 (2004)	Sylvain Pogodalla [France] ; Christian Retoré [France]	Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
007852 (2003)	Jean-Yves Marion ; Jean-Yves Moyen	Termination 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
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 Giua	Timed continuous Petri nets and optimization via linear programming
008323 (2002)	Gulgun Alpan ; Bruno Gaujal	Optimal routing in timed continuous Petri nets applied to scheduling assignment problems
008354 (2002)	Asma Ghaffari ; Nidhal Rezg ; Xiaolan Xie	Net transformation and theory of regions for optimal control of Petri nets
008454 (2002)	Bruno Gaujal ; Alessandro Giua	Optimal 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 "nets" 

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

---

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