Coloured Petri net とは

色付きペトリネット(CPN)は、ペトリネットの概念の下位互換性のある拡張である。
CPNは、ペトリネットの有用な特性を保持すると同時に、トークンの区別を可能にする初期の形式を拡張する。
Colored Petri Netsでは、トークンにデータ値を添付することができます。この付加データ値はトークンカラーと呼ばれます。色は任意に複雑なタイプにすることができますが、CPNの場所には通常1つのタイプのトークンが含まれます。このタイプは、場所のカラーセットと呼ばれます。
定義1.ネットはタプルN =(P、T、A、Σ、C、N、E、G、I)
 Pは場所の集合です。 Tは遷移の集合である。 Aは円弧の集合です
CPNでは、場所の集合、遷移とアークはペアワイズである。
 Σは、CPNモデル内で定義されたカラーセットのセットです。このセットには、CPNで使用されるすべての色、操作、および機能が含まれています。 Cは色関数です。 Pの場所をΣで色分けします。 Nはノード関数です。 Aを(P×T)∪(T×P)に写像する。 Eは円弧式関数です。各円弧a∈Aを式eに写像する。アーク式の入力と出力の型は、アークが接続されているノードの型に対応していなければなりません。
ノード関数と円弧式関数を使用すると、複数の円弧が異なる円弧式で同じノードの対を接続することができます。
 Gはガード関数である。各遷移t∈Tをガード表現gに写像する。ガード式の出力は、真または偽のブール値に評価する必要があります。私は初期化関数です。各場所pを初期化式iにマップする。初期化式は、場所C(p)の色に対応する色でトークンのマルチセットに評価される必要があります。
有色ペトリネットで作業するためのよく知られたプログラムはcpntoolsです。