Il s'agit de la commande lts2pbes qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
lts2pbes - traduit un LTS en un PBES
SYNOPSIS
lts2pbes [OPTION]... [DANS LE FICHIER [FICHIERS]]
DESCRIPTION
Traduit un LTS dans INFILE et écrit le PBES résultant dans OUTFILE. Si OUTFILE n'est pas
présent, la sortie standard est utilisée. Si INFILE n'est pas présent, l'entrée standard est utilisée.
OPTIONS
OPTION peut être l'un des éléments suivants :
-DDOSSIER, --Les données=DOSSIER
utilisez FILE comme spécification de données et d'action. FILE doit être un fichier .mcrl2 qui
ne contient pas de clause init.
-fDOSSIER, --formule=DOSSIER
utiliser la formule d'état de FILE
-lDOSSIER, --lps=DOSSIER
utilisez FILE pour la spécification des données et des actions. FILE doit être un fichier .lps.
-mDOSSIER, --mcrl2=DOSSIER
utilisez FILE comme spécification de données et d'action pour le LTS. FICHIER doit être un .mcrl2
fichier.
-oFormat, --dehors=Format
utiliser le format de sortie FORMAT : 'pbes' PBES au format interne 'pbes_text' PBES dans
format textuel interne 'texte' PBES au format textuel (mCRL2)
--horaires[=DOSSIER]
ajouter des mesures de synchronisation à FILE. Les mesures sont écrites avec l'erreur standard si
aucun FICHIER n'est fourni
Options standards :
-q, --silencieux
ne pas afficher les messages d'avertissement
-v, --verbeux
afficher de courts messages intermédiaires
-d, --déboguer
afficher des messages intermédiaires détaillés
--niveau de journal=NIVEAU
afficher des messages intermédiaires jusqu'au niveau inclus
-h, --Aidez-moi
afficher les informations d'aide
--version
afficher les informations de version
Utilisez lts2pbes en ligne en utilisant les services onworks.net
