Affiliation:
1. Yamaguchi University, Japan
Abstract
This chapter gives an introduction of Petri nets, its applications and security challenges. Petri nets are a graphical and mathematical modeling tool available to many systems. Once a system is modeled as a Petri net, the behavior of the system can be simulated by using tokens on the Petri net. Petri nets' abundant techniques can be used to solve many problems associated with the modeled system. This chapter gives formal definitions, properties and analysis methods of Petri nets, and gives several examples to illustrate some basic concepts and successful application areas of Petri nets. Then this chapter presents Petri nets based challenges to security such as Intrusion Detection System, security policy design and analysis, and cryptography tool.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Research and Development of Botnet Defense System;Human Interface and the Management of Information: Applications in Complex Technological Environments;2022
2. Botnet Defense System and White-Hat Worm Launch Strategy in IoT Network;Advances in Malware and Data-Driven Network Security;2022
3. Malware Threat in Internet of Things and Its Mitigation Analysis;Research Anthology on Combating Denial-of-Service Attacks;2021
4. Malware Threat in Internet of Things and Its Mitigation Analysis;Security, Privacy, and Forensics Issues in Big Data;2020