Existence of Forbidden Digraphs for Crisp Boolean Petri Nets
Boolean Petri net (BPN) and Crisp Boolean Petri net (CBPN) is a well-studied graph model since 2010 which has several applications in mathematical modeling of complex or tricky networks. Modeling any network with Petri net which can generate binary numbers as marking vectors in its reachability tree...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Ram Arti Publishers
2020-02-01
|
Series: | International Journal of Mathematical, Engineering and Management Sciences |
Subjects: | |
Online Access: | https://www.ijmems.in/volumes/volume5/number1/8-IJMEMS-5-ICQRIT2019-51-8395-2020.pdf |