ペトリネットを用いたシミュレータ(日本国特許,NO.2769192)