Fix coherence errors in the given text.
However, there are many interesting special cases that are decidable. It is possible to reason about the behaviour of a network of finite-state machines.
However, there are many interesting special cases that are decidable. In particular, it is possible to reason about the behaviour of a network of finite-state machines.