タイムペトリネット(time Petri nets)は、ペトリネットの発火規則に時間制約を与えたもので、コンカレントリアルタイムシステムのモデル化能力に富んでいる。Merlinが最初にプロトコルの検証に用いることを提案し、それ以降、時間制約を持つさまざまなシステムのモデル化,形式的検証に用いられている。しかし、ほとんどの研究はブレースに入るトークンの数の関係を制限した場合に主眼を置いており、一般的なタイムペトリネットについてはあまり議論されていない。そこで本稿では、タイムペトリネットの発火規則の一般化について議論する。