réseau de Petri
Français
Étymologie
- (Date à préciser) De réseau, et Petri, nom de famille de celui qui les a introduits, Carl Adam Petri.
Locution nominale
| Singulier | Pluriel |
|---|---|
| réseau de Petri | réseaux de Petri |
| \ʁe.zo də pe.tʁi\ | |
réseau de Petri \ʁe.zo də pe.tʁi\ masculin
- (Mathématiques) Notion mathématique qui se représente par un graphe biparti (composé de deux types de nœuds et dont aucun arc ne relie deux nœuds de même type) orienté (composé d'arc(s) ayant un sens) reliant des places et des transitions (les nœuds), où deux places ne peuvent pas être reliées entre elles, ni deux transitions, où les places peuvent contenir des jetons, représentant généralement des ressources disponibles.
Traductions
- Anglais : Petri net (en)
Voir aussi
- réseau de Petri sur l’encyclopédie Wikipédia (article auquel du texte a été emprunté)
Cet article est issu de Wiktionary. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.