Verifying Solutions to the Dining Philosophers Problem with Activity-Oriented Petri Nets | IEEE Conference Publication | IEEE Xplore