java - Javaでカラーペトリネットの「バインディング」を実装するにはどうすればよいですか？

Question

Javaでカラーペトリネットを実装しています。これは一種の有限状態オートマトンです。問題は、「バインディング」を実装する方法がわからないことです。つまり、場所に色を割り当て、円弧に円弧式を割り当てる必要があります。遷移が実行された後、ネットは新しい状態になります。そのため、アークに関数を割り当てる方法がわかりません。
ここではカラーペトリネットの基本を説明したくないので、私の質問が明確であることを願っています。誰かがカラーペトリネットのJavaコードをサンプリングするためのWebリンクを提供したり、アークに関数を割り当てる方法についてアイデアを提供したりしていただければ幸いです。

Answer 1

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

列挙関数の記事は、1つのアプローチを示しています。