Extensions des réseaux de Petri
Sûreté de fonctionnement des systèmes de commande - Exemple d'application et rappels sur les RdP

Réseaux de Petri temporisés [15]

Dans les réseaux P-temporisés, la temporisation associée aux places s'applique à la disponibilité de la marque : lorsque celle-ci entre dans une place, elle ne sera disponible qu'après un délai. Ce délai écoulé, la marque est disponible pour déterminer si les transitions sont franchissables comme dans les réseaux autonomes.

Dans les réseaux T-temporisés, lorsqu'une marque entre dans une place, elle est aussitôt prise en compte (réservée) pour le franchissement des transitions, mais ne sera déposée dans la place d'arrivée qu'après un certain délai. Le tir de la transition est donc effectué en deux temps.

Réseaux de Petri synchronisés

Un réseau de Petri synchronisé (RdPSy) [15] est un réseau de Petri marqué, associé à un ensemble d'événements E par une application μ de T (ensemble des transitions) dans E ∪ {e }, e étant l'événement toujours occurrent (élément neutre). Lorsqu'elle est validée, une transition sera franchissable lorsque l'événement associé se produira, elle sera alors instantanément franchie (sauf éventuellement en cas de conflit). Si l'événement associé à la transition est e, la transition est franchissable dès qu'elle est validée.

On distingue la notion de « marquage accessible » de celle de « marquage stable » ou en attente d'un événement de synchronisation de l'ensemble E.

Réseaux de Petri synchronisés et temporisés

Ces réseaux introduisent le facteur temps dans les réseaux synchronisés sous forme de temporisation au passage des marques dans les places. Un réseau de Petri synchronisé temporisé (RdPTSy) est constitué d'un RdP synchronisé et d'un ensemble d'applications croissantes $\{{\tau }_{}$