冲突

在一个佩特里网中，若在标识 M下变迁和都可以发生，但如果其中一个先发生，就会使另一个失去发生权，就说变迁和在标识M 处于有效冲突（简称冲突）。