PetriNets Android 版

该应用程序处理哪些教育任务？

该应用程序作为一个便携式建模和仿真工作区，用于位置-过渡Petri网。用户可以使用图形编辑器构建图表，并添加所需的结构元素。支持的典型元素包括：

• 位置用于令牌存储
• 过渡表示事件
• 弧连接位置和过渡

该工具如何支持学习形式方法？

该应用程序通过互动执行和形式分析促进探究。学生可以逐步执行过渡触发或运行自动序列以观察令牌流动，集成的分析引擎报告结构和行为属性，如可达性和有界性。可达性和覆盖性树的生成帮助学习者可视化状态空间，这支持对小到中型模型的活性和死锁的假设测试。

该应用程序适合初学者、学生还是研究人员？

该应用程序针对高等教育和专业用户，特别是计算机科学学生、工程专业人士和研究人员。其对形式属性的关注意味着先前的课程或对Petri网的熟悉程度提高了其有效性。以移动为中心、触控导向的编辑器支持快速草图和实验，使其在远离桌面的学习会话中方便，尽管它假设用户理解核心Petri网概念。

它如何帮助学习工作流程和模型分析？

该应用程序提供以分析为导向的工作流程，而不是课堂管理。用户可以保存和加载项目以进行持续学习，通过内置分析引擎检查数学属性，并通过生成的树导出理解。Tagliaferro设计该工具以提供对模型行为的即时反馈，因此学习者可以迭代模型并比较结果，而无需转向桌面分析软件。

用于形式建模的实用移动实验室，最适合高等教育学习者

PetriNets 是大学生和研究人员的实用选择，他们希望能够便携地进行 Petri 网和状态空间推理的实践。预计它适合已经学习形式方法的学习者，而不是完全的新手。提示：使用简短、集中建模会话，并保存增量项目版本，以便每个会话探索单一属性，从而获得更清晰的学习成果。