有限状态机和死锁

Question

这是我的问题

我知道有两个无死锁的状态机的痕迹。

我想知道跟踪（我不知道estructure），如果组合是无死锁的。

任何定理都知道这是可以知道的吗？

Answer 1

如果您确实在处理组合（使用初始参数运行机器A，然后使用A的最终参数作为初始参数的机器B），则组合中的死锁必然发生在A或B中。

它不会发生在A中（因为那样，如果B不存在也会发生），并且它不会发生在B中（因为那时，如果A不存在并且你使用那些相同的初始参数也会发生B）。因此，基于A和B无死锁的初始假设，它们的组成也是如此。