Decentralised control of continuous Petri nets. Issue 5 (4th May 2017)