Carlos Pascal, Doru Panescu: A Petri net model for constraint satisfaction application in holonic systems. AQTR 2014: 1-6