知识共享－－－学术系列之计算机系讲座（第十七期）

－－Petri网的建模实例

你是否了解Petri网呢？

你是否了解其使用过程呢？

Petri网是一种过程建模和分析工具。它有着坚实的数学基础，完全形式化，具有对并发、并行、分析、异步系统进行验证仿真的能力。本次报告以一个物流系统作为实例，来说明Petri网的使用过程。

你想了解这些信息系吗？

4月12日（周三）中午12:30在图书馆一层学习共享空间，计算机系白丽瑞老师将为大家作“Petri网的建模实例”的讲座。

欢迎有兴趣的老师和同学参加！