ペトリネットに関する最近の研究動向

摘要

過去10年間のICAPNの招待論文を通して、40年間の歴史をもつペトリネットの研究分野と関連研究分野とのかかわりと応用分野の拡大の様子を分析している．また、高水準ペトリネットや分散システムの解析、検証への応用を目指す可換代数のペトリネットへの応用についてふれている．