ペトリ記法

グラフをペトリネットで描くべきだが、普通のペトリネットとノードの描き方が逆になる。

• 遷移ノード： 円や四角
• プレイスノード： 黒点や短い棒

遷移ノードは、有向ハイパー辺といってもいい。ペトリネットの意味での“辺”＝ワイヤーはラベリングされないが、遷移ノード＝ハイパー辺はラベリングされる。境界はプレイスノードとなる。

プレイスノードにバッファリング（キューイング）機能を入れることができる。この場合、プレイスノードにリスト構造データを割り当てることができる。他に、プレイスノードにはさまざまな量（データ）を割り当て可能。プレイスにデータ領域を対応させて、デカルト圏への反変表現ができる。