ペトリネットとその応用