基于工作流网的银行业务库高安全门禁系统-计算机工程与应用.pdfVIP

Computer Engineering and Applications 计算机工程与应用 2016 ，52（8） 221 基于工作流网的银行业务库高安全门禁系统 1 1 1，2 3 王晓晓 ，杜勇前 ，叶剑虹 ，孙世新 1 1 1，2 3 WANG Xiaoxiao , DU Yongqian , YE Jianhong , SUN Shixin 1.华侨大学 计算机科学与技术学院，福建 厦门 361021 2.新泽西理工学院 电子与计算机工程系，美国 新泽西州 纽瓦克 07102 3.电子科技大学 计算机科学与工程学院，成都 610054 1.School of Computer Science Technology, Huaqiao University, Xiamen, Fujian 361021, China 2.Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ 07102, USA 3.School of Computer Science Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China WANG Xiaoxiao, DU Yongqian, YE Jianhong, et al. High security entrance guard system for bank vaults based on workflow net. Computer Engineering and Applications, 2016, 52 （8 ）：221-228. Abstract ：The entrance guard system for bank vaults is an access control system that requires extremely strict security measures, which is the first secure perimeter in the vaults. The system usage process involves more multiple constraints and complicated procedure than a common one. Compared the two systems, it leads to the theorem that a sound WF-net is still sound after adding constraints. Workflow net is used to model the entrance guard system for the common scene and bank vaults. Then, YAWL Editor is used to analyze the system models. By the end of this paper, the system is implemented by the hardware-software co-design methodology. One application example is presented to illustrate the proposed system. The correctness of the theorem is verified and the use of workflow net effectively decreases the level of the system design complexity, ensures the validity of the design, and improves the efficiency of system development. Key words ：Petri nets; workflow net; YAWL Editor; entrance guard system; hardware-software co-design 摘 要：银行业务库门禁系统是一种对安全要求极高的出入口