1. A contradictory phenomenon between two events in Petri net. It means that several events share a precondition or share a postcondition. In this situation, only one of these events mayoccur. 
   petri网中两个事件间的矛盾现象，指的是多个事件共享一个事前条件或共享一个事后条件。在此情况下这些事件中只有一个可能发生。

查看更多例句 相关情景会话

• 1. 后置条件
  见 不变式(invariant)、后置条件(postcondition)。...
  www.kaidianle.com - 相关搜索
• 2. 后验条件
  契约式设计的主要断言包括先验条件（precondition）、后验条件（postcondition）、以及不变式（invariant）：...
  blog.csdn.net - 相关搜索
• 3. 后置断言
  了解形式化方法的朋友肯定都知道前置断言(precondition)、后置断言(postcondition)、不变式(invariant)，...
  www.xhit.cn - 相关搜索
• 4. 后置条件在操作完成后必须为真的一个条件
  个数据库或文件中并且在程序不同的执行中该对象还可以保留它自己的值状态...postcondition 后置条件在操作完成后必须为真的一个条件...Powertype
  blog.sina.com.cn - 相关搜索