Results 21 to 30 of about 1,192,885 (178)
IEEE Access, 2018 This paper focuses on establishing a Petri net (PN)-based deadlock prevention policy for large-scale systems whose state spaces are prone to the explosion problem phenomenon.
Oussama Karoui +5 more
doaj +1 more source
Applied Sciences, 2020 The Petri net (PN) formalism is a suitable tool for modeling parallel systems due to its basic characteristics, such as synchronization. The extension of PN, the Colored Petri Nets (CPN) allows the incorporation of more details of the real system into ...
Stavros Souravlas +2 more
doaj +1 more source
Petri net methodology for solving healthcare management issues
ITM Web of Conferences, 2018 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.
Khushk Abdul Rauf, Li Xiaozhong
doaj +1 more source
Modeling and Analysis of Hadoop MapReduce Systems for Big Data Using Petri Nets
Applied Artificial Intelligence, 2021 Information technological advances have significantly increased large volumes of corporate datasets, which have also created a wide range of business opportunities related to big data and cloud computing.
Dai-Lun Chiang +7 more
doaj +1 more source
A Petri Net Neural Network Robust Control for New Paste Backfill Process Model
IEEE Access, 2020 In mining industries, the backfill becomes more and more important due to the environment protection concern. But most backfill investigations focus on the underground model and backfill materials.
Xuehui Gao, Xinyan Hu
doaj +1 more source
Evolving concurrent Petri net models of epistasis [PDF]
, 2010 A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational models of concurrent processes.
Beretta, Lorenzo, Mayo, Michael
core +1 more source
Theory of Regions for Control Synthesis without Computing Reachability Graph
Applied Sciences, 2017 This paper addresses the design of Petri net (PN) supervisor using the theory of regions for forbidden state problem with a set of general mutual exclusion constraints. In fact, as any method of supervisory control based on reachability graph, the theory
Sadok Rezig, Zied Achour, Nidhal Rezg
doaj +1 more source
Frontiers in Big Data, 2023 In contemporary society, the incidence of depression is increasing significantly around the world. At present, most of the treatment methods for depression are psychological counseling and drug therapy.
Xuyue Wang +11 more
doaj +1 more source
An analytical method for well-formed workflow/Petri net verification of classical soundness
International Journal of Applied Mathematics and Computer Science, 2014 In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes.
Clempner Julio
doaj +1 more source
Design and analysis of a Petri net model of the Von Hippel-Lindau (VHL) tumor suppressor interaction network. [PDF]
PLoS ONE, 2014 Von Hippel-Lindau (VHL) syndrome is a hereditary condition predisposing to the development of different cancer forms, related to germline inactivation of the homonymous tumor suppressor pVHL.
Giovanni Minervini +5 more
doaj +1 more source