Petri网可以奉行系统的哪些行为特征?这些特征的含义各是什么?

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/08 09:44:26
Petri网可以奉行系统的哪些行为特征?这些特征的含义各是什么?

Petri网可以奉行系统的哪些行为特征?这些特征的含义各是什么?
Petri网可以奉行系统的哪些行为特征?这些特征的含义各是什么?

Petri网可以奉行系统的哪些行为特征?这些特征的含义各是什么?
行为特征及其含义如下:
(1) 可达性:可达性是研究任何系统动态特征的基础.
(2) 有界性.
(3) 活性:在操作系统中,活性的概念与安全无死锁紧密相关.
(4) 可逆性.
(5) 可覆盖性.
(6) 持久性.
(7) 同步距离:同步距离是条件/事件系统中与两个事件间相互独立成都紧密相关的一种量度.
(8) 公平性:包括有界公平性和无条件公平性.