3 M. Silva T. Murata 1987 On synchonic distance and B-fair relations for Petri nets 270-278 10