公开(公告)号：CN105069574A

公开(公告)日：2015-11-18

申请号：CN201510504099.3

申请日：2015-08-17

Applicant: 安徽理工大学

Inventor： 方贤文 ,  赵芳 ,  刘祥伟 ,  方新建 ,  方欢

IPC: G06Q10/06

Abstract: 基于Petri网分析业务流程模型行为相似度的新方法，涉及到业务流程行为轮廓关系和拟行为轮廓关系的寻找以及行为相似性度的测量。对源模型N1和目标模型N2的相似性分析，首先基于Petri网的基本理论对业务流程模型进行预处理，将含有相同语义的变迁用相同的标签来表示；然后，基于行为轮廓的理论和拟行为轮廓的理论得到N1、N2中的所有变迁与其他变迁之间的关系，并因此得出N1和N2的八种相似性度；最后，结合加权函数，测量出N1和N2的行为相似性度。本发明给出了测量业务流程行为相似性度的新方法，有效地解决了业务流程模型中相似性模型的寻找问题，避免了现有方法在相似性模型寻找方面的局限性，且能够降低寻找相似性模型的时间复杂度。

公开(公告)号：CN105023116A

公开(公告)日：2015-11-04

申请号：CN201510504097.4

申请日：2015-08-17

Applicant: 安徽理工大学

Inventor： 方贤文 ,  赵芳 ,  刘祥伟 ,  方欢 ,  方新建

IPC: G06Q10/06

Abstract: 行为交互下的业务流程变化域传播分析的新方法，涉及到业务流程的变化域传播和交互后目标模型变化域的确定。首先，依据行为轮廓关系分析含有迹等价和行为包含关系的模型，其中一个作为源模型N1，另一个作为目标模型N2，且N1行为包含于N2，将N2中那些无对应元的变迁记为沉默变迁，通过已知N1的变化域，可推出N2的变化域范围(可疑区域)；其次，将N1和N2中复杂对应(m:n)关系的变迁集按照1:1的标准进行同类合并；然后，基于行为继承(包含投影继承和协议继承)关系，将N2中的沉默变迁予以隐藏或阻塞；最后，基于变化域的传播特性得出目标模型的变化域。本发明为业务流程交互时变化域的传播分析奠定了理论基础，有利于复杂业务流程模型的变化域分析。

公开(公告)号：CN104933325A

公开(公告)日：2015-09-23

申请号：CN201510437490.6

申请日：2015-07-22

Applicant: 安徽理工大学

Inventor： 方贤文 ,  赵芳 ,  方新建 ,  方欢 ,  刘祥伟

IPC: G06F19/00

Abstract: 基于Petri网行为包含关系的业务流程变化域的融合分析，适合处理复杂业务流程系统中同时包含数据流和控制流的情况。首先利用Petri网建模方法分别建立业务流程的控制流网模型和数据流网模型，然后通过源模型和目标模型的行为一致性分析分别得出目标模型中的控制流网和数据流网的变化域，再基于Petri网行为包含关系理论分析数据流网和控制流网中的行为包含关系，并且基于紧密度的计算确定了影响变化域的关键因子。最后利用行为包含关系及关键因子，将目标模型控制流网最终的变化域和数据流网最终的变化域进行融合分析，得出目标模型最终的变化域。本发明能有效地避免模型分拆带来的行为丢失问题，且能够降低问题分析的时间复杂度。

公开(公告)号：CN202553069U

公开(公告)日：2012-11-28

申请号：CN201220160866.5

申请日：2012-04-16

Applicant: 安徽理工大学

Inventor： 陈国凡 ,  高云 ,  丁文飞 ,  赵芳 ,  郑强强 ,  程江峰

IPC: A47C17/04 ,  A47C21/00 ,  A47B87/00 ,  A47B13/08

Abstract: 本实用新型公开了一种可拆解为桌椅的床，其特征是：由床头、床尾和采用可拆式连接结构连接在床头与床尾之间的床体构成；床头和床尾是一对结构相同的座椅，座椅是由座椅面板、座椅腿和座椅靠背构成；床体为桌子，桌子是在桌腿上支撑有桌面；桌面在桌腿上的支撑高度可以调节在与座椅面板相同或不相同。本实用新型在桌椅和床之间转换使用，使狭小的空间得到有效利用。