在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持, 但却不完全满足模式在执行环境下的约束, 即不能保证模式所对应的模型区域安全执行, 为此提出了形式化的解决方案旨在使信牌驱动模型实现对模式执行约束的支持。首先需要对模式所对应的模型区域进行形式化定义并提供识别该模型区域的算法, 提出了通过保证区域内信牌箱的安全进而保证对应模型区域安全执行的策略。