Petri
From Wikipedia, the free encyclopedia
Pétri
- En biologie, une boîte de Petri est une boîte cylindrique transparente, peu profonde et munie d'un couvercle, utilisée emplie d'un milieu de culture. Ces boîtes ont été inventées par Julius Richard Petri.
- En mathématiques, un réseau de Petri est un modèle servant à représenter divers systèmes employant des variables discrètes. Ces réseaux ont été inventés par Carl Adam Petri.
- Un réseau de Petri temporel est une technique permettant de spécifier et vérifier des systèmes dans lesquels le temps apparaît comme un paramètre quantifiable et continu ; il en existe deux types : le réseau de Petri P-temporel et le réseau de Petri T-temporel.
- Le réseau de Petri temporisé et les réseaux de Petri P-temporisés sont des extensions temporisées des réseaux de Petri.