Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Stefan Haar »
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.
Stefan Funke < Stefan Haar < Stefan Leigh  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000A66 (2003) Bruno Gaujal ; Stefan Haar ; Jean MairesseBlocking a transition in a Free Choice net and what it tells about its throughput
001336 (2002) Stefan Haar ; Laurent Kaiser ; Françoise Simonot-Lion ; Joël ToussaintEquivalence of Timed State Machines and safe TPN
001496 (2001) Bruno Gaujal ; Stefan Haar ; Jean MairesseBlocking a transition in a Free Choice net and what it tells about its throughput
001A67 (2000) Stefan Haar ; Laurent Kaiser ; Françoise Simonot-Lion ; Joël ToussaintUsing and translating equivalent Models : Timed State Machines and Time Petri Nets
001B79 (2000) Bruno Gaujal ; Stefan HaarA limit Semantics for timed Petri Nets
001D96 (1999) Stefan HaarProperties of Untimed Routed Petri Nets
001E29 (1999) Bruno Gaujal ; Stefan HaarNon-Ambiguous Petri Nets
001E65 (1999) Stefan HaarOn Occurrence Net Semantics of Petri Nets
002064 (1999) Stefan HaarOccurrence Net Logics

List of associated KwdEn.i

Nombre de
documents		Descripteur
4semantics
3petri nets
3timed petri nets
2branching processes
2concurrency
2free choice nets
2time petri nets
2timed automata
1automatic model translation
1bisimulation
1existence of limit semantics
1fairness
1non-ambiguous petri nets
1nondeterminism
1partial order logics
1routing
1stability
1stochastic petri nets
1test generation
1throughput
1verification

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Stefan Haar" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Stefan Haar" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Stefan Haar
}}
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