時間ペトリネットのパラメータ合成と形式的解析のための書き換え論理ベースのフレームワーク

本論文は、パラメータ付き時間ペトリネットに対する具体的および記号的な書き換え論理セマンティクスを提示し、これらのネットに対する完全な形式的解析と合成を可能にする。