Prioritised Petri net とは

優先順位付けされたペトリネットは、PNがペトリネットである構造(PN、Π)であり、Πは、遷移を優先レベルを表す非負の自然数にマッピングする優先関数です(101ページ)
所与の優先度kを有するイネーブルされた遷移は、優先度j <kを有する他のイネーブルされた遷移の前に常に発火する。