如何判断Petri Netz是否是Lebendig,schwach lebendig und nicht lebendig?

kaka~~

如题，这个有点搞不清楚，有人懂得说说 ?谢谢先

ourgame

完全走的通，部分情况走的通，完全走不通

天上的一片云

有Vorbedingung和Nachbedingung啊.

瑞士军刀

原帖由 ourgame 于 2008-2-13 10:38 发表
完全走的通，部分情况走的通，完全走不通

要是这么判断的话，去网上找个程序直接运行一下就可以了：）

ourgame

原帖由 瑞士军刀 于 2008-2-21 08:40 发表

要是这么判断的话，去网上找个程序直接运行一下就可以了：）

如果你手动可以识别，用软件为什么不行？

lqw08

Sei N = (S, T, F,W,M0) ein S/T-Netz
*Eine Markierung M heißt tot (in N), wenn keine Transition t ∈ T unter M aktiviert ist.
*Eine Transition t ∈ T heißt tot bei M (in N), wenn von M aus keine Markierung erreichbar ist, unter der t aktiviert ist.(Ist t tot bei M0, so heißt t tot in N.)
我认为，这句话是说的对于一个tranistion t，不存在一个Markierung可以通过t的shalten(firing)得到。则这个t是tot的。
*Eine Transition t ∈ T heißt lebendig bei M (in N), wenn t bei keiner von M aus erreichbaren Markierung tot ist.
*Eine Markierung M heißt lebendig (in N), wenn alle Transitionen t ∈ T lebendig bei M in N sind. (Ist t lebendig bei M0, so heißt t lebendig in N.)
(1)N heißt lebendig, wenn M0 lebendig in N ist
(2)N heißt schwach-lebendig (oder verklemmungsfrei oder deadlockfrei),
要理解schwach-lebendig，首先要知道，什么是deadlock。如果一个N，对于一个非空的stelle集合D，D属于或等于Stelle的总集，如果D的vorbereich 属于或者等于Nachbereich。则称这个D为Deadlock.没有deadlock的N就是 schwachlebendig。

kaka~~

楼上的cool

hahaxixi

是ka的吧:)

lqw08

请问什么是"是ka的吧",严格讲，我不太懂楼上的网络用语。我猜测你指的是kopie的意思。如果是这样，我可以回答你，不是。如果你学过petrinetz你应该明白，我贴出的是相关定义，所有的判断，都来源于定义。我只是稍作解释了一下这个定义意思。定义理解了，就可以判断了。
可以说，我是一个时常网络潜水的人，这次之所以发言，是因为恰巧这学期也学petri这门课。看到了，就发发言。看来我多言了，以后我还是老老实实潜水好了。

kaka~~

楼上的，“ka的吧”，也有可能的意思是说你是Uni Karlsruhe地～～～