PRISM 建模基础

欢迎来到 PRISM 的 PRISM 建模基础 部分，在这一章节中，你将学到以下内容：

• PRISM 模型类型
• PRISM 模块定义
• PRISM 模块组合
• PRISM 变量类型与范围
• PRISM 常量声明
• PRISM 公式定义
• PRISM 标签使用
• PRISM 初始状态定义
• PRISM 概率转移
• PRISM 非确定性选择
• PRISM 同步构造
• PRISM 奖励结构
• PRISM 时间属性
• PRISM 抽象化技术

Have fun coding!