. Classe-abstraite-généralisant-les-réseaux-de-petri, Attributs : ? HAUTEUR_DEFAUT : la hauteur d'un RdP lorsqu'il sous la forme d'un sous-réseau. ? LARGEUR_DEFAUT : la largeur d'un RdP lorsqu'il sous la forme d'un sous-réseau. ? nom : le nom du RdP, ? identifiant : l'identifiant du RdP. ? comprime : indique si le RdP est sous forme comprimée

. @bullet-dejaarcfusionentre-(-d, teste si un Arc de fusion existe entre les Places (ou Transitions) D et A. f) Propriété