PRISM 高级建模

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

• PRISM 模块通信
• PRISM 同步构造机制
• PRISM 异步系统建模
• PRISM 概率选择建模
• PRISM 时间概念表达
• PRISM 条件转移
• PRISM 函数定义
• PRISM 抽象与细化
• PRISM 递归结构
• PRISM 数据结构表达
• PRISM 并发系统建模
• PRISM 故障容忍建模
• PRISM 混合系统建模
• PRISM 马尔可夫奖励过程

Have fun coding!