Recherche

Réseau de Petri

  • Imprimer
Modèle mathématique proposé en 1962 par Carl Adam Petri dans sa thèse de doctorat. Il se présente sous la forme d’un graphe biparti alterné, sur lequel les noeuds illustrent les transitions. Tout arc doit aboutir à un noeud à l’une et l’autre de ses extrémités. Un arc relie une transition à une place ou bien inversement une place à une transition. Christine Balagué et Janghyuk Lee expliquent que : « Un réseau de Petri est un langage graphique permettant de représenter des systèmes, de les vérifier, de les simuler et de les optimiser. Ils sont particulièrement adaptés à des systèmes dans lesquels le partage d’informations et les interactions sont importants. Les réseaux de Petri modélisent des systèmes dynamiques qui évoluent d’un état à un autre lorsqu’un événement interne ou externe survient. Formellement, un réseau de Petri est un triplet N = {P, T, F}, où P est un ensemble de places, T un ensemble de transitions, et F un ensemble d’arcs orientés. Les places décrivent les différents états du système et sont graphiquement représentées par des cercles. Les transitions (rectangles) décrivent les événements qui surviennent dans le système. Enfin, les arcs décrivent la manière dont le réseau de Pétri change lorsqu’une transition se produit. »
Salon Big Data 2017: cap sur l'agilité et l'IA

Salon Big Data 2017: cap sur l'agilité et l'IA

Salon Big Data 2017: cap sur l'agilité et l'IA

Le grand rassemblement annuel dédié à la data répondra aux interrogations des entreprises qui souhaitent revoir leur organisation autour de [...]

Les évolutions de salaires dans le Webmarketing

Article écrit par Digitalent

Digitalent

Les évolutions de salaires dans le Webmarketing

Les évolutions de salaires dans le Webmarketing

Changer de poste et d'entreprise est le meilleur moyen de voir son salaire augmenter. Les opportunités d'emploi en Webmarketing sont nombreuses [...]

Tati mis en vente par le groupe Eram

Tati mis en vente par le groupe Eram

Tati mis en vente par le groupe Eram

Le célèbre discounter cherche un repreneur après sa mise en vente par le groupe Eram. La marque cumule les pertes depuis plusieurs années.