Ini adalah perintah txt2lps yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
txt2lps - menerjemahkan spesifikasi mCRL2 dari proses linier menjadi LPS
RINGKASAN
txt2lps [PILIHAN]...[INFILE [FILE KELUAR]]
DESKRIPSI
Menerjemahkan spesifikasi mCRL2 di INFILE dan menulis LPS yang dihasilkan ke OUTFILE. Jika
OUTFILE tidak ada, output standar digunakan. Jika INFILE tidak ada, input standar
digunakan.
PILIHAN
PILIHAN dapat berupa salah satu dari berikut ini:
--waktu[=FILE]
menambahkan pengukuran waktu ke FILE. Pengukuran ditulis ke kesalahan standar jika
tidak ada FILE yang disediakan
Opsi standar:
-q, --diam
jangan tampilkan pesan peringatan
-v, --bertele-tele
tampilkan pesan perantara pendek
-d, --debug
tampilkan pesan perantara yang terperinci
--tingkat log=TINGKAT
tampilkan pesan perantara hingga dan termasuk level
-h, --membantu
tampilkan informasi bantuan
--Versi: kapan
menampilkan informasi versi
Gunakan txt2lps online menggunakan layanan onworks.net