A colored Petri net model for DisCSP algorithms

Carlos Pascal, Doru Panescu. A colored Petri net model for DisCSP algorithms. Concurrency - Practice and Experience, 29(18), 2017. [doi]

Abstract

Abstract is missing.