Towards parallel composition of partial finite state machines: Checking safety property step-by-step
Ekaterina V. Darusenkova, Natalia V. Shabaldina · 2016
In this paper, we consider a binary parallel composition of FSMs (that are probably partial) and discuss how to check whether this composition is safe or not, i.e. in fact, we check whether there are no deadlocks and livelocks in the composition. We propose a technique for checking this property step-by-step: at the first step we analyze the components separately, at the second step we build the global automaton that describes the joint behavior of the components.