ソフトウェアの要求分析や設計に利用されるモデルに関する記述のうち,ペトリネットの説明として,適切なものはどれか。