Author:
Khushk Abdul Rauf,Li Xiaozhong
Abstract
Various approaches of Petri nets can be achieved as system security and information flow in the healthcare recording system inside any medical or health-related business. Petri net system formal modeling is essential as well as important to track down the records and secure information inside a preformed health organization. In this paper, we mainly focused on the formal model Petri net which security mechanism is controlled by public key encryption where PN based modeling is preferred. This Petri net is a mathematical modeling to solve graphical notation for step by step processes that include choice, repetition, and circumstantial execution. Petri nets offer widely mathematical applications of discrete and continuous event execution semiotics, with an efficient mathematical analysis processing theory. We sure that our formal model will lay a solid foundation to minimize the risks and overcome the security risks in the healthcare industry.
Reference12 articles.
1. Liu X., Xia Y., Yang W., and Yang F., “Secure and Efficient Querying over Personal Health Records in Cloud Computing,” Neurocomputing, 2017.
2. Khushk A. R. and Li X., “Petri net modeling of encrypted information flow in federated cloud,” J. Phys. Conf. Ser., vol. 887, no. 1, 2017.
3. Stationary solutions of discrete and continuous Petri nets with priorities
4. Whittaker S., “Augmenting Petri Nets to Model Health-Care Protocols by,” no. September 2011.
5. G. Smith, “A New Type System for Secure Information Flow.”
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献