抄録
C-006
高水準ペトリネットを記述可能な援用ツール HiPS2 と非同期回路検証への適用
◎堀内維作・和崎克己（信州大）
筆者らは，基本的な時間P/Tネットを階層的に記述し，ネット構造全体のインバリアントや可達性解析などを実行可能な援用ツール HiPS を開発し，種々の並列システムモデルに適用してきた．規模の大きなシステムをモデル化する際，通常のP/Tネットでは同型な構造を有する部分ネットが数多く生成・配置する必要があるため，ネットが複雑かつ大規模になり，また可読性が低下する．本報告では，制約付カラーペトリネットの記述に対応した拡張援用ツールHiPS2の概要について述べる．トークンに定義可能なデータ型は，整数型，文字列型，ビット列ならびに構造体である．拡張ツールの有用性を確認するため，非同期回路検証への適用を試みる．