关键词: Petri网, 工作流网, YAWL Editor, 门禁系统, 软硬件协同设计

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