Reference Hub

This research has been cited in:

Chapter
Research and Development of Botnet Defense SystemHuman Interface and the Management of Information: Applications in Complex Technological Environments10.1007/978-3-031-06509-5_30
Conference
Reduction of redundant tasks and its application to refactoring in consumer electronics software2017 IEEE 6th Global Conference on Consumer Electronics (GCCE)10.1109/GCCE.2017.8229450
Conference
Generating and Analyzing Data Set of Workflow-Nets2020 Eighth International Symposium on Computing and Networking Workshops (CANDARW)10.1109/CANDARW51189.2020.00097
Conference
Extraction and improvement of IoT service gap between design and operation based on net model2017 IEEE International Symposium on Consumer Electronics (ISCE)10.1109/ISCE.2017.8355537
Conference
A Model Checking-Based Analysis Method of Cyber Attack in IoT System by Agent-Oriented Petri Net2018 IEEE 7th Global Conference on Consumer Electronics (GCCE)10.1109/GCCE.2018.8574673
Conference
An Auto-Scheduling Framework for the Internet of Things based on Process and Optimizer Modules2019 IEEE 8th Global Conference on Consumer Electronics (GCCE)10.1109/GCCE46687.2019.9015539
Conference
On service orchestration of cyber physical system and its verification based on Petri net2016 IEEE 5th Global Conference on Consumer Electronics10.1109/GCCE.2016.7800421
Conference
Modeling of stalkers' behavior and development of simulated experience game for education2017 IEEE 6th Global Conference on Consumer Electronics (GCCE)10.1109/GCCE.2017.8229452
Conference
On verification of implementation of security specification with Petri nets' protocol inheritance2016 IEEE 5th Global Conference on Consumer Electronics10.1109/GCCE.2016.7800491
Conference
A Design Method of Consumer Electronics Products Based on Supervisory Control and Model Checking2018 IEEE 8th International Conference on Consumer Electronics - Berlin (ICCE-Berlin)10.1109/ICCE-Berlin.2018.8576214
Chapter
Botnet Defense System and White-Hat Worm Launch Strategy in IoT NetworkAdvances in Malware and Data-Driven Network Security10.4018/978-1-7998-7789-9.ch008
Chapter
Malware Threat in Internet of Things and Its Mitigation AnalysisResearch Anthology on Combating Denial-of-Service Attacks10.4018/978-1-7998-5348-0.ch020
Chapter
Malware Threat in Internet of Things and Its Mitigation AnalysisSecurity, Privacy, and Forensics Issues in Big Data10.4018/978-1-5225-9742-1.ch016

Introduction of Petri Nets: Its Applications and Security Challenges

Shingo Yamaguchi, Mohd Anuaruddin Bin Ahmadon, Qi-Wei Ge

Source Title: Handbook of Research on Modern Cryptographic Solutions for Computer and Cyber Security

ISBN13: 9781522501053|ISBN10: 1522501053|EISBN13: 9781522501060

DOI: 10.4018/978-1-5225-0105-3.ch007

Cite Chapter Cite Chapter

MLA

Yamaguchi, Shingo, et al. "Introduction of Petri Nets: Its Applications and Security Challenges." Handbook of Research on Modern Cryptographic Solutions for Computer and Cyber Security, edited by Brij Gupta, et al., IGI Global, 2016, pp. 145-179. https://doi.org/10.4018/978-1-5225-0105-3.ch007

APA

Yamaguchi, S., Ahmadon, M. A., & Ge, Q. (2016). Introduction of Petri Nets: Its Applications and Security Challenges. In B. Gupta, D. Agrawal, & S. Yamaguchi (Eds.), Handbook of Research on Modern Cryptographic Solutions for Computer and Cyber Security (pp. 145-179). IGI Global. https://doi.org/10.4018/978-1-5225-0105-3.ch007

Chicago

Yamaguchi, Shingo, Mohd Anuaruddin Bin Ahmadon, and Qi-Wei Ge. "Introduction of Petri Nets: Its Applications and Security Challenges." In Handbook of Research on Modern Cryptographic Solutions for Computer and Cyber Security, edited by Brij Gupta, Dharma P. Agrawal, and Shingo Yamaguchi, 145-179. Hershey, PA: IGI Global, 2016. https://doi.org/10.4018/978-1-5225-0105-3.ch007

Export Reference

Favorite

View Full Text HTML

View Full Text PDF

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.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

Introduction of Petri Nets: Its Applications and Security Challenges

MLA

APA

Chicago

Export Reference

Abstract

Request Access