这是 lts2pbes 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
lts2pbes - 将 LTS 转换为 PBES
概要
lts2pbes [OPTION]……[文件 [输出文件]]
商品描述
翻译 INFILE 中的 LTS 并将生成的 PBES 写入 OUTFILE。 如果 OUTFILE 不是
目前，使用标准输出。 如果 INFILE 不存在，则使用标准输入。
配置
OPTION 可以是以下任何一种：
-D文件, - 数据=文件
使用 FILE 作为数据和动作规范。 FILE 必须是 .mcrl2 文件，其中
不包含 init 子句。
-f文件, - 公式=文件
使用 FILE 中的状态公式
-l文件, --lps=文件
将 FILE 用于数据和操作规范。 FILE 必须是 .lps 文件。
-m文件, --mcrl2=文件
使用 FILE 作为 LTS 的数据和操作规范。 文件必须是 .mcrl2
文件中。
-oFORMAT, - 出去=FORMAT
使用输出格式 FORMAT: 'pbes' PBES in 内部格式 'pbes_text' PBES in
文本 (mCRL2) 格式的内部文本格式“文本”PBES
--计时[=文件]
将计时测量附加到 FILE。 测量值写入标准误差，如果
没有提供文件
标准选项：
-q, - 安静的
不显示警告信息
-v, --详细
显示简短的中间消息
-d, -调试
显示详细的中间消息
--日志级别=LEVEL
显示达到并包括级别的中间消息
-h, - 帮帮我
显示帮助信息
- 版
显示版本信息
使用 onworks.net 服务在线使用 lts2pbes
