Dit is de opdracht ltsview die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
LTSView - 3D interactieve visualisatie van een gelabeld transitiesysteem
KORTE INHOUD
LTSView [OPTIE]... [IN BESTAND]
PRODUCTBESCHRIJVING
Start de LTSView-applicatie. Als INFILE wordt opgegeven, wordt de LTS in INFILE geladen
de applicatie.
Het invoerformaat wordt bepaald door de inhoud van INFILE. Als dat niet lukt, wordt er een poging gedaan
gemaakt om het invoerformaat te forceren op basis van de bestandsextensie. De ondersteunde formaten met
bestandsextensies zijn:
Aldebaran-formaat (CADP; *.aut);
GraphViz-formaat (*.dot);
Finite State Machine-formaat (*.fsm);
mCRL SVC-formaat (*.svc);
mCRL2-indeling (*.lts).
OPTIES
OPTIE kan een van de volgende zijn:
--tijden[=FILE]
timingmetingen toevoegen aan FILE. Metingen worden naar de standaardfout geschreven als
er is geen BESTAND aanwezig
Standaard opties:
-q, --stil
geen waarschuwingsberichten weergeven
-v, --uitgebreid
korte tussenberichten weergeven
-d, --debuggen
gedetailleerde tussenberichten weergeven
--Log niveau=NIVEAU
tussenberichten weergeven tot en met niveau
-h, --help
help informatie weergeven
--versie
versie-informatie weergeven
Gebruik ltsview online met de services van onworks.net
