Volver a los detalles del artículo Clase de red de Petri para usos de recursos binarios ordenados