Seol mar théacs é seo: Consideraciones para el modelado de sistemas mediante redes de Petri