Petri 网是一种用于系统描述和分析的数学工具，Petri网是对离散并行系统的数学表示。 通常在Petri 网的图形表示中， 用圆圈表示库所， 矩形表示变迁， 黑点表示令牌（token），库所和变迁之间是有向弧 Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具，当用Petri 网来模拟一个实际系统时，关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生，如活性、有界性等，这些特性均是系统的重要动态行为。
有色Petri 网是在经典的Petri 网基础上发展起来的一种高级网系统，是一种适于描述异步并发系统的图形工具和数学工具。它以简洁的图形方式和精确的语义定义表现系统状态，并用形式化分析方法分析系统未来的状态转换。
（简答题）
Petri网和Petri网系统有何区别？什么是有色Petri网？
正确答案
答案解析
略
