ペトリネット
カラーペトリネット(英語版)