找高手翻译。。用在线翻译的别来,节约大家时间
来源:百度知道 编辑:UC知道 时间:2024/05/10 07:55:16
This frequently results in a complete standstill of a system.A Petri net modeling a deadlock free system must be live. This implies that for all markings M, which are reachable from the initial marking M0, it is ultimately possible to fire any transition in the net by progessing through some firing sequence.
在线翻译也可以 自己读下能通就好
在线翻译也可以 自己读下能通就好
这频繁地导致系统的一个完全停顿。塑造僵局系统的陪替氏网一定任意活。 这暗示为所有标号M,从最初的标号M0是可及的,通过progessing射击所有转折在网是最后可能的通过某一生火序列。
什么呀???