Este es el comando lps2pbes que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
lps2pbes: genera un PBES a partir de un LPS y una fórmula de estado
SINOPSIS
lps2pbes [OPCIÓN] ... --formula = ARCHIVO [EN ARCHIVO [PERFIL]]
DESCRIPCIÓN
Convierta la fórmula de estado en FILE y el LPS en INFILE a un booleano parametrizado
sistema de ecuaciones (PBES) y guárdelo en OUTFILE. Si OUTFILE no está presente, se utiliza stdout.
Si INFILE no está presente, se usa stdin.
CAMPUS
OPCIÓN puede ser cualquiera de los siguientes:
-fARCHIVO, --fórmula=ARCHIVO
usa la fórmula del estado de ARCHIVO
-oFORMATO, --fuera=FORMATO
utilizar formato de salida FORMATO: 'pbes' PBES en formato interno 'pbes_text' PBES en
formato textual interno 'texto' PBES en formato textual (mCRL2)
-s, --estructurado
generar ecuaciones tales que no ocurran conjunciones y disyunciones mixtas
-t, - cronometrado
Utilice la versión cronometrada del algoritmo, incluso para LPS no cronometrados.
--tiempo[=ARCHIVO]
anexar medidas de tiempo a ARCHIVO. Las medidas se escriben con error estándar si
no se proporciona ningún ARCHIVO
-u, --no optimizado
no simplifique las expresiones booleanas
Opciones estándar:
-q, --tranquilo
no mostrar mensajes de advertencia
-v, --verboso
mostrar mensajes intermedios breves
-d, --depurar
mostrar mensajes intermedios detallados
--nivel de registro=NIVEL
mostrar mensajes intermedios hasta el nivel inclusive
-h, --ayuda
mostrar información de ayuda
--versión
mostrar información de la versión
Utilice lps2pbes en línea utilizando los servicios de onworks.net