滞留なしペトリネットとは,いずれのプレースにおいても流れてくるトークンと流れ出ていくトークンの量が等しいペトリネットである.シグナル伝達経路を変換したペトリネットモデルは一般的に同期トランジション,競合トランジション,自己ループアーク,抑止アークを含む.変換されたペトリネットモデルでトークンが滞留しないために,これらのトランジションおよびアークは適切に扱う必要がある.本稿では,これらのトランジションやアークを持つペトリネットを滞留なしペトリネットとするために満たされるべき条件について考察する.