これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなど、複数の無料オンライン ワークステーションのいずれかを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド txt2lps です。
プログラム：
NAME
txt2lps - 線形プロセスの mCRL2 仕様を LPS に変換します
SYNOPSIS
txt2lps [オプション] ... [インファイル [アウトファイル]]
DESCRIPTION
INFILE の mCRL2 仕様を変換し、結果の LPS を OUTFILE に書き込みます。 もしも
OUTFILE は存在せず、標準出力が使用されます。 INFILE が存在しない場合、標準入力
使用されている。
OPTIONS
オプション 次のいずれかになります。
-タイミング[=FILE]
タイミング測定値をFILEに追加します。 次の場合、測定値は標準誤差に書き込まれます
ファイルは提供されません
標準オプション：
-q, - 静かな
警告メッセージを表示しない
-v, -詳細
短い中間メッセージを表示する
-d, - デバッグ
詳細な中間メッセージを表示する
-ログレベル=LEVEL
レベルまでの中間メッセージを表示する
-h, - 助けて
ヘルプ情報を表示する
- バージョン
バージョン情報を表示する
onworks.net サービスを使用してオンラインで txt2lps を使用する
