On characterizing binary Petri Nets

Sujit Kumar Singh (), Riddhi Jangid () and Gajendra Pratap Singh ()
Additional contact information
Sujit Kumar Singh: Jawaharlal Nehru University
Riddhi Jangid: Jawaharlal Nehru University
Gajendra Pratap Singh: Jawaharlal Nehru University

International Journal of System Assurance Engineering and Management, 2023, vol. 14, issue 3, No 9, 919-929

Abstract: Abstract 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.

Keywords: k-bounded; Marking vector; Perfect binary tree; Petri Nets; Reachability tree; Safeness (search for similar items in EconPapers)
Date: 2023
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s13198-023-01892-6 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ijsaem:v:14:y:2023:i:3:d:10.1007_s13198-023-01892-6

Ordering information: This journal article can be ordered from
http://www.springer.com/engineering/journal/13198

DOI: 10.1007/s13198-023-01892-6

Access Statistics for this article

International Journal of System Assurance Engineering and Management is currently edited by P.K. Kapur, A.K. Verma and U. Kumar

More articles in International Journal of System Assurance Engineering and Management from Springer, The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().