Este es el comando lts2pbes 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
lts2pbes: traduce un LTS en un PBES
SINOPSIS
lts2pbes [OPCIÓN] ... [EN ARCHIVO [PERFIL]]
DESCRIPCIÓN
Traduce un LTS en INFILE y escribe el PBES resultante en OUTFILE. Si OUTFILE no es
presente, se utiliza la salida estándar. Si INFILE no está presente, se utiliza la entrada estándar.
OPCIONES
OPCIÓN puede ser cualquiera de los siguientes:
-DARCHIVO, --datos=ARCHIVO
utilice FILE como especificación de datos y acciones. ARCHIVO debe ser un archivo .mcrl2 que
no contiene una cláusula init.
-fARCHIVO, --fórmula=ARCHIVO
usa la fórmula del estado de ARCHIVO
-lARCHIVO, --lps=ARCHIVO
use FILE para la especificación de datos y acciones. ARCHIVO debe ser un archivo .lps.
-mARCHIVO, --mcrl2=ARCHIVO
use FILE como la especificación de datos y acciones para el LTS. ARCHIVO debe ser un .mcrl2
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)
--tiempo[=ARCHIVO]
anexar medidas de tiempo a ARCHIVO. Las medidas se escriben con error estándar si
no se proporciona ningún ARCHIVO
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
Use lts2pbes en línea usando los servicios de onworks.net
