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

来源:学生作业帮助网 编辑:作业帮 时间:2024/10/06 11:36:06
Petri网可以奉行系统的哪些行为特征?这些特征的含义各是什么?
xKR@,R] ^A\( $$H!ʣ* C &IV\I1`53wucگ8=t(jz`5EeĄ`R222 `Mۇ-{bKmC,~f;,YgiB D۷-b;cό4eZUA(m4\819 b̏iXZL[鼏Y04 mO讐v;MhPE0|h*ՑyEVЂKaG8cnm*QeLG i%g!~}.bK.}ivEDqP%ۇO1{H^ǽ

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

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