UNE-EN 62551:2012 (Ratificada)

Técnicas de análisis de la confiabilidad. Técnicas de las redes de Petri (Ratificada por AENOR en enero de 2013.)

Analysis techniques for dependability - Petri net techniques (Endorsed by AENOR in January of 2013.)

Techniques d'analyse de sûreté de fonctionnement - Techniques des réseaux de Petri (Entérinée par l’AENOR en janvier 2013.)