China 
Africa 
Explore chapters and articles related to this topic
Prescriptive and Predictive Analytics Techniques for Enabling Cybersecurity
Published in Kuan-Ching Li, Beniamino DiMartino, Laurence T. Yang, Qingchen Zhang, Smart Data, 2019
Nitin Sukhija, Sonny Sevin, Elizabeth Bautista, David Dampier
Another area of research focused on identifying cyber threats against a system are Petri nets [29]. A Petri net is a system modeling tool that is based on graphs and mathematics [29–31]. Petri nets are particularly suited for cyber threat analysis in a computing system because they can model distributed and parallel systems [30]. In a Petri net, the system is modeled by the changes in states and transitions between states of the system, being described both graphically and with mathematic equations. By comparing the transitions and state changes of the system with normal operation, cyber threats can be identified, and appropriate countermeasures can then be taken [29]. The colored Petri nets are the most used class of Petri nets in cybersecurity systems, extending the general Petri net by allowing data types to be assigned to nodes [32].
Evaluation of a community pharmacy dispensing process using a coloured Petri Net
Published in Stein Haugen, Anne Barros, Coen van Gulijk, Trond Kongsvik, Jan Erik Vinnem, Safety and Reliability – Safe Societies in a Changing World, 2018
M. Naybour, R. Remenyte-Prescott, M. Boyd
Petri Nets are an effective tool for modelling processes or systems exhibiting concurrency (Schneeweiss, 1999). Since the publication of Carl Adam Petri’s thesis in 1961, a number of extensions of the basic technique have been developed. Two important examples of Petri Net extensions are timed and Coloured Petri Nets (Jensen, 1996). Timed nets use either deterministic or stochastic delay timings, to control the timing of transitions. This gives the opportunity to model temporal processes. Meanwhile, incorporating token colour sets into Petri Net modelling enables token specific information to be propagated around the net. This can then be used to control and manipulate the nets behavior. Coloured Petri Nets have been utilized to model complex systems in a wide range of areas (Liu, 2017).
Performance Modeling and Analysis Using VHDL and SystemC
Published in Wai-Kai Chen, Computer Aided Design and Design Automation, 2018
Robert H. Klenke, Jonathan A. Andrews, James H. Aylor
As a system modeling paradigm, Petri nets overcome this disadvantage of queuing models. Petri nets consist of places, transitions, arcs, and a marking. The places are equivalent to conditions and hold tokens, which represent information. Thus, the presence of a token in the place of a Petri net corresponds to a particular condition being true. Transitions are associated with events, and the “firing” of a transition indicates that some event has occurred. A marking consists of a particular placement of tokens within the places of a Petri net and represents the state of the net. When a transition fires, tokens are removed from the input places and are added to the output places, changing the marking (the state) of the net and allowing the dynamic behavior of a Petri net to be modeled.
Smart selection from petri net modeling tools for fast developing a manufacturing system
Published in Cogent Engineering, 2022
Yi-Nan Lin, Cheng-Ying Yang, Gwo-Jen Chiou, Sheng-Kuan Wang, Victor R.L. Shen, Yu-Ying Wang, Hai Hoang Bui, Jianzhi Wang
Petri nets are a graphical and mathematical model widely applied in the field of systems engineering. It is a promising tool for describing information systems that are characteristic of concurrency, parallelism, distribution, nondeterminism, probability, time, fuzziness, and so on. Due to a graphical model, Petri nets can be used to act as a visualization aid similar to flowcharts. However, the flowcharts do not have all above-mentioned characteristics. In this article, the manufacturing processes are modelled by using Petri net tools for the purpose of optimizing and reducing manufacturing costs. Meanwhile, three Petri net simulation software tools, namely, HiPS, PIPE, and WoPeD, are open sources, which are free of charge and easy to use. Thus, it is the main reason for modeling and analyzing the smart manufacturing systems by using Petri nets from the view-points of practical applications.
Modeling and Analysis of Hadoop MapReduce Systems for Big Data Using Petri Nets
Published in Applied Artificial Intelligence, 2021
Dai-Lun Chiang, Sheng-Kuan Wang, Yu-Ying Wang, Yi-Nan Lin, Tsang-Yen Hsieh, Cheng-Ying Yang, Victor R. L. Shen, Hung-Wei Ho
This study employs a Petri net model to verify the reachability of the MapReduce framework and to assist the system developer in developing parallel MapReduce systems. Petri net theory was developed by Dr. Carl Adam Petri at the University of Bonn in Germany in 1962. A Petri net is a mathematical and graphical tool which is widely used in modeling and simulating system behaviors under various circumstances. It comprises places, transitions, arcs, and tokens; and offers a module of expressing a system which is concurrent, asynchronous, distributed, parallel, nondeterministic, or stochastic (Mazhar Rathore et al. 2018). In the system simulation, a high correlation has been demonstrated to exist between liveness and deadlocks, which can be tested and analyzed using the attributes of Petri nets. Petri nets provide a visually interactive tool (Wu and Zhou 2010) and have been widely applied in a number of fields.
Review on Petri Net Modeling and Analysis of a Smartphone Manufacturing System
Published in Cogent Engineering, 2020
Yi-Nan Lin, Tsang-Yen Hsieh, Cheng-Ying Yang, Victor R.L. Shen, Tony Tong-Ying Juang, Ting-Jui Huang
Petri nets are a graphical and mathematical model widely applied in the field of systems engineering. It is a promising tool for describing information systems that are characteristic of concurrency, parallelism, distribution, nondeterminism, probability, time, fuzziness, and so on. As a graphical model, Petri nets can be used to serve as a visualization aid similar to flowcharts. However, the flowcharts have no all the above-mentioned characteristics. In this article, the manufacturing processes are modeled by Petri nets for the purpose of optimizing and reducing manufacturing costs. Meanwhile, two Petri net simulation software tools, WoPeD and PIPE, are open sources, which are free of charge and easy to be used. Thus it is the main reason for modeling and analyzing the smart manufacturing systems by using Petri nets from the view-points of practical applications.