Javaでペトリネットを着色するためのバインディングを実装する方法は？

Question

私はJavaでcoloured petri netを実装しています。これは、有限状態オートマトンのようなものです。問題は、私が "バインディング"を実装する方法を知らないことです。言い換えれば、色を場所に割り当て、円弧を円弧に割り当てる必要があります。移行が実行された後、ネットは新しい状態になるはずです。だから、どのようにアークに関数を割り当てるかわかりません。
私はここで色のペトリネットの基本を説明したくないので、私の質問がはっきりしていることを願っています。誰かがカラーペトリネットのサンプルJavaコードにWebリンクを提供したり、関数をアークに割り当てる方法をいくつか考えてもらえればうれしいです。

Answer 1

静的関数の配列を作成する方法と、これらの関数を参照する方法の例を教えてください。

記事Enumerated Functionsには1つのアプローチが示されています。