Construction of m-cube mesh networks using Petri nets

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

International Journal of System Assurance Engineering and Management, 2023, vol. 14, issue 1, No 17, 256-262

Abstract: Abstract Petri nets have been used extensively in behavior modeling of finite state machines for a very long time since it is more expressible and gives parallelism in the designing of models. The problem of analysis in concurrent systems has been a field of interest for many researchers. Still, only reachability and its systematic enumeration were proven to be useful because of simplified concepts and easy applicability. This article shows the reachability in concurrent nets and topological properties reflected in its reachability analysis. It also discusses how a reachability tree is reduced to a graph by homomorphism and how we can find multi-dimensional topological networks with a class of Petri nets.

Keywords: Petri net; Mesh-cube; Marking vector; Reachability tree; Hypercube (search for similar items in EconPapers)
Date: 2023
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.com/10.1007/s13198-022-01849-1 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:1:d:10.1007_s13198-022-01849-1

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

DOI: 10.1007/s13198-022-01849-1

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 ().