On characterizing binary Petri Nets

被引：0
作者：
Sujit Kumar Singh
Riddhi Jangid
Gajendra Pratap Singh
机构：
[1] Jawaharlal Nehru University,School of Computational and Integrative Sciences
来源：
International Journal of System Assurance Engineering and Management | 2023年 / 14卷
关键词：
k-bounded; Marking vector; Perfect binary tree; Petri Nets; Reachability tree; Safeness;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Modeling using Petri Nets and analyzing discrete systems has played a major role in evaluating systems in diverse areas. It’s graphical nature is what makes Petri Net stand out from other mathematical models. Along with, the structure of binary trees are of great importance like in computing for searching and sorting and also for classification purposes like in decision-making processes. Hence, these two notions can be well synchronized for analyzing many systems. In this article, authors have used Petri Nets and generated their reachability trees that are Binary in nature. Authors have also shown the condition for the Binary reachability tree to be a Complete/Full/Perfect Binary reachability tree using Petri Nets. On the basis of the reachability analysis of Petri Nets, Binary reachability is further characterized and some results are shown.
引用
收藏
页码：919 / 929
页数：10
相关论文
共 64 条
[1]  
Alemayehu TS(2022)Optimal replacement model for the physical component of safety critical smart-world CPSs J Ambient Intell Human Comput 13 4579-4590
[2]  
Kim JH(2013)Knowledge-based systems Recommend Syst Surv 46 109-132
[3]  
Cho WD(2020)Modeling and performance analysis of cognitive radio networks using stochastic timed colored petri nets Wireless Personal Commun 112 1659-1687
[4]  
Bobadilla J(2007)Petri net modelling of biological networks Briefings Bioinf 8 210-219
[5]  
Ortega F(2021)An efficient parameter optimization of software reliability growth model by using chaotic grey wolf optimization algorithm J Ambient Intell Human Comput 12 3177-3188
[6]  
Hernando A(2013)Integration of renewable energy sources, energy storage systems, and electrical vehicles with smart power distribution networks J Ambient Intell Human Comput 4 663-671
[7]  
Gutiérrez A(2018)A two-stage robust-intelligent controller design for efficient LFC based on Kharitonov theorem and fuzzy logic J Ambient Intell Human Comput 9 1445-1454
[8]  
Boukredera D(1982)Graphs that are almost binary trees SIAM J Comput 11 227-242
[9]  
Adel-Aissanou K(2010)On Petri Nets generating all the binary n-vectors Scientiae Mathematicae Japonicae 71 209-216
[10]  
Chaouiya C(2011)1-safe Petri Nets generating every binary n-vector exactly once Scientiae Mathematicae Japonicae 74 29-36
1234567