import os
os.system('mcrl22lps -v 1394-fin.mcrl2 1394-fin.lps')
os.system('lps2pbes -v -f nodeadlock.mcf 1394-fin.lps 1394-fin.nodeadlock.pbes'
    )
os.system('pbes2bool -v 1394-fin.nodeadlock.pbes')
os.system('lps2lts -v --cached 1394-fin.lps 1394-fin.aut')

e7a311be80809652ec594314497704a81884a94e
<mask token>

<mask token>
os.system('mcrl22lps -v 1394-fin.mcrl2 1394-fin.lps')
os.system('lps2pbes -v -f nodeadlock.mcf 1394-fin.lps 1394-fin.nodeadlock.pbes'
    )
os.system('pbes2bool -v 1394-fin.nodeadlock.pbes')
os.system('lps2lts -v --cached 1394-fin.lps 1394-fin.aut')

import os
os.system('mcrl22lps -v 1394-fin.mcrl2 1394-fin.lps')
os.system('lps2pbes -v -f nodeadlock.mcf 1394-fin.lps 1394-fin.nodeadlock.pbes'
    )
os.system('pbes2bool -v 1394-fin.nodeadlock.pbes')
os.system('lps2lts -v --cached 1394-fin.lps 1394-fin.aut')
