CPN tools建模中出现如下问题，是否声明有问题？

如图所示，复现了一篇论文中的建模，不知是否声明有问题，但这块红色一直显示tycon dismatch.上部分同样差不多的功能完全可以通过，但此处和上面一部分声明一样，构造也基本相同，也就参数代表不同意思而已，找不出哪里有问题，截图如下！

你好，我是有问必答小助手，非常抱歉，本次您提出的有问必答问题，技术专家团超时未为您做出解答


本次提问扣除的有问必答次数，将会以问答VIP体验卡（1次有问必答机会、商城购买实体图书享受95折优惠）的形式为您补发到账户。


​​因为有问必答VIP体验卡有效期仅有1天，您在需要使用的时候【私信】联系我，我会为您补发。