Metadata
Author: ParaCrawl Corpus
Data
English[en]
Reach tree analysis is selected for analysis and verification of properties, which allows the tool to deal with several kinds of nets belonging to Place transition nets.
Spanish[es]
Se elige la técnica de análisis y verificación de propiedades basada en el cálculo del árbol de alcance, lo que permite abordar diversos tipos de redes incluidos en las redes Lugar-Transición.