Teeft.i
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Teeft.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 dishes < Petri nets < Petrochemical parameters  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]
Ident.Authors (with country if any)Title
001833 (2004) Pieter J. Mosterman ; Hans Vangheluwe [Canada]Computer Automated Multi-Paradigm Modeling: An Introduction
001F70 (2000) Didier Galmiche [France] ; David J. Pym [Royaume-Uni]Proof-search in type-theoretic languages: an introduction
001F94 (2000) F. Ly [France] ; A. K. A. Toguyeni [France] ; E. Craye [France]Indirect predictive monitoring in flexible manufacturing systems
002135 (2000) Index
002210 (1999) R. Dssouli [Canada] ; K. Saleh [Koweït] ; E. Aboulhamid [Canada] ; A. En-Nouaary [Canada] ; C. Bourhfir [Canada]Test development for communication protocols: towards automation
002236 (1999) Cumulative index volumes 1–200
002465 (1998) D. Larchey-Wendling [France] ; D. Galmiche [France]Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets
002610 (1998) R. De Queiroz ; M. FingerConferences. Wollic'98, workshop on logic, language, information and computation
002785 (1997) Ruy J. G. B. De QueirozFourth Workshop on Logic, Language, Information and Computation (WoLLIC'97)
002848 (1996) Master index volumes 151–160
002879 (1996) Andreas Oberweis [Allemagne]An integrated approach for the specification of processes and related complex structured objects in business applications
002930 (1996) Sergio Bandinelli [Espagne]Report on the Workshop of Software process Environment Architecture
002994 (1996) Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
002A56 (1995) Cumulative index volumes 101–150
002A57 (1995) Cumulative index volumes 101–150
002C33 (1994) Andreas Oberweis [Allemagne] ; Gabriele Scherrer [Allemagne] ; Wolffried Stucky [Allemagne]INCOME/STAR: Methodology and tools for the development of distributed information systems
002E45 (1993) Forthcoming events
002E46 (1993) Forthcoming events
003015 (1992) Forthcoming events
003048 (1992) A. A. Q. Taqi ; A. J. Al-Sammak ; A. A. Khan ; N. AhmedA comparative study between Petri Net and SLAM
003180 (1990) G. Harhalakis [États-Unis] ; C. P. Lin [États-Unis] ; H. Hillion [France] ; K. Y. Moy [États-Unis]Development of a factory level CIM model

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i -k "Petri nets" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i  \
                -Sk "Petri nets" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

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