title: Finite state machines and deadlocks
body: <p>This is my problem</p>
  
  <p>I know traces of two state machines that are deadlock free.</p>
  
  <p>I want to know with the traces (I dont know estructure) , if the composition is deadlock free.</p>
  
  <p>Any theorem to know is this is possible to know?</p>