1. A colored Petri net model for DisCSP algorithms. (29th June 2017) Authors: Pascal, Carlos; Panescu, Doru Journal: Concurrency and computation Issue: Volume 29:Number 18(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗