Este é o comando lts2lps que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
lts2lps - traduz um LTS em um LPS
SINOPSE
lts2lps [OPÇÃO] ... [NO ARQUIVO [ARQUIVO]]
DESCRIÇÃO
Traduz um LTS em INFILE e grava o LPS resultante em OUTFILE. Se OUTFILE não for
presente, a saída padrão é usada. Se INFILE não estiver presente, a entrada padrão é usada.
OPÇÕES
OPÇÃO pode ser qualquer um dos seguintes:
-DARQUIVO, --dados=ARQUIVO
use FILE como a especificação de dados e ação. ARQUIVO deve ser um arquivo .mcrl2 que
não contém uma cláusula init.
-lARQUIVO, --lps=ARQUIVO
use FILE para a especificação de dados e ação. ARQUIVO deve ser um arquivo .lps.
-mARQUIVO, --mcrl2=ARQUIVO
use FILE como a especificação de dados e ação para o LTS. ARQUIVO deve ser .mcrl2
arquivo.
--tempos[=ARQUIVO]
anexar medições de tempo a ARQUIVO. As medições são gravadas no erro padrão se
nenhum FILE é fornecido
Opções padrão:
-q, --quieto
não exibir mensagens de aviso
-v, --verbose
exibir mensagens intermediárias curtas
-d, --depurar
exibir mensagens intermediárias detalhadas
--log-level=NÍVEL
exibir mensagens intermediárias até e incluindo o nível
-h, --Socorro
exibir informações de ajuda
--versão
exibir informações da versão
Use lts2lps online usando serviços onworks.net
