基于PetriNet的流程验证新方法1.DOCVIP

退修说明 首先感谢编辑和评审老师对文章提出的宝贵意见，下面就对列出的意见一一作答。为了便于区分，对于文章中修改的部分，已用红色标注。 1.验证案例太过简单，从常识判断也会分析出案例结果，体现不出论文成果优越性，请用一个更复杂更具有说服力的案例进行分析说明问题。? 以无法本文参见.1节。2.第2作者姓名拼音有错误。? 已修改3.摘要的问题：?1）中文摘要（目的-方法-结果-结论）：?A直接介绍研究目的，删除背景介绍。研究目的是否概括完全，如“针对……问题”、“为了解决……问题”，之后“提出了什么方法”之类的概括性描述。? B补充清楚提出的验证新方法具体内容，怎么设计的，突出创新之处。“该方法对PetriNet流程建模理论进行了深入研究，”这种不大有实质意义的语句请删除。? c结果和结论分开说明清楚。做了哪些仿真或实验，结果如何？再总结结论。? 对删除了对删除了2）英文摘要不一定要完全是一个对中文摘要的翻译，英文摘要要求是包括研究目的、研究主要方法或过程、具体的结果和结论的一篇短文。需注意英文摘要的润色以及涉及的方法、过程及结果部分一般采用一般过去时、被动语态，勿用第一人称、主动语态。英文摘要首句直接用“In order to……”句式，不然很容易在英文编辑修改中当成研究背景而被删除。可参照网站上中英文摘要写作要求。英文摘要对应修改。 着重?4.引言请注意：?1）背景可以简略，针对主要背景提出研究意义。第1段和第2段前半部分可以合并，尽快着眼于“PetriNet建模”。? 合并了 2）引言第2部分综述国内外现有的研究文献并说明其不足：A综述时需要明确提出各方法存在的不足，这些不足为后续本文方法的创新性做好铺垫，“主要集中在模型理论方法的验证和描述上，还没有实现到实际应用系统中的过渡”这种不足是否片面了，不是新方法应该克服的主要问题？B综述文献体现充分了主流研究成果？? 在在 3）最后一段提出论文的创新点时，需要突出论文方法优越性（勿与摘要叙述语句上相同，可比摘要更具体，此处可不说或少说结果或结论）。? 主要兼顾减少了4）引言不为第一节。所有节号减一。? 5.第1节PetriNet建模、第2节PetriNet网络分析方法是否为基础知识，基础知识与第3节作者自己算法的逻辑关系是？在作者提出的验证方法中是如何使用的？能否更有机的组合以突出重点（更侧重于作者提出的方法内容）。? 为了对删除了重点将 6.第2节的各种分项列举方式有些问题：?1）定义3下面的（1）（2）列举是在解释什么？有必要写1）2）吗？这与“对上述各个方法做一简单介绍。”的1）2）3）都用同一种分项列举编号，反而使各部分内容范围不大明确。?2）“回归态”“变迁的重复序列、最小重复序列与完全序列”是在说明什么？?3）“变迁的重复序列、最小重复序列与完全序列[6]”怎么只有一句话？与后面的“对于T不变量而言，有如下进一步定义：”关系是？? 4）分项列举的编号1）2）之下可以使用编号。有些叙述也可以不编号，直接说明。“ S-不变量与T-不变量等方法”方法的介绍是到本节末才结束？? 5）“根据以上的分析理论的描述，下一节将着重推导一种面向应用的流程合理性验证方法。”这种承上启下语句不大必要，研究论文应该简洁明了。? （1）（2）分为主要是-不变量和T-不变量的定义。这样分是为了从定义上让读者更加明显的感觉有两个概念定义在其中。由于概念较多，确实因此因此删除 ” 回归态” 和” 变迁的重复序列、” 是下文推导中用到的关键概念，因此“变迁的重复序列、最小重复序列与完全序列[6]”有因此“对于T不变量而言，有如下进一步定义：”-不变量的延伸，说明完全-不变量添加进一步约束后的新概念。 网络分析方法这1整节都是在对各类方法进行对应的细化，到7.第3节：?1）“3.1 理论分析”中有2个定义4？“定理4-2中表明非负整数向量X满足”是哪个定理，引用不清楚。?2）3.2节几个问题：A“3.2 验证算法设计”是提出的验证方法的一部分？B其中的1）2）实在描述什么？C“2）设si是第i个T-不变量向量。遍历第3）步中所求得的T-不变量”和“其中k是第3步中求得的T-不变量的个数”中第3）步是指哪里？ -2 更正为定理2 验证算法设计是理论推导过程的一个最终成果。前面1）2）-不变量和，验证）步） 8.数学模型的推导和公式符号请规范：?用MathType编辑公式、变量时注意：非变量用正体。普通变量（包括一般集合）斜体，矢量（向量）和矩阵符号以黑斜体表示（注意矩阵中元素若只是一般变量为一般斜体），若有矩阵、向量请标注；上下标表示清楚，指示性上下标（取自中英文词语）用正体，变动性上下标（表示变量、变动性数字、坐标轴）用斜体，涉及下标处请检查；一般勿添加其他多余格式