为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。
This paper proposes a biometric-based user authentication protocol for wireless sensor networks （WSN） when a user wants to access data from sensor nodes, since WSN are often deployed in an unattended environment. The protocol employs biometric keys and resists the threats of stolen verifier, of which many are logged-in users with the same login identity, guessing, replay, and impersonation. The protocol uses only Hash function and saves the computational cost, the communication cost, and the energy cost. In addition, the user＇s password can be changed freely using the proposed protocol.
