法として出てきたのは確かなわけですが、なぜCHRだったのでしょうか。教えていただけないでしょうか。制約処理エンジンを記述するための言語です。CHRは複数個のヘッドを持つ規則が書けるという特徴を持つため、ペトリネットを直接埋め込むことができたようです。トークンという形に抽象化されている情報を具体的なアトム(制約)として記述することができるため、CHRの使用は、ペトリネットで表現しきれない情報の記述に有効であるものと思われます。