【CPN TOOLS建模学习】设置变迁的属性使用Tab键在属性之间进行切换与一个变迁相关联的四个铭文,均为可选项:变迁延迟必须是一个正整数表达式。该表达式前面加上@+,这意味着时间铭文的形式为@+ delayexpr。在添加时间铭文之前,铭文的默认文本为@+。时间延迟始终相对于当前时间添加。例如,如果当前时间为10,而时间延迟为@+2,则发送到输出库所的令牌的时间戳将为12。缺失的时间铭文等同于零延迟。尽管弧的延迟存在,变迁的延迟仍适用于所有输出令牌。在只有一个输出弧的情况下也是如此。例如。 点击sim面板里的"执行一个变迁": 点击三次后,流程执