And Jose Meseguer has been the co-author with Vladimiro Sassone of a host of [papers on Petri nets](http://www.ecs.soton.ac.uk/people/vs/publications) since the early 1990s.