Markovian models transact.system etc 2 by Nicola