International Journal of Computer Applications |
Foundation of Computer Science (FCS), NY, USA |
Volume 73 - Number 20 |
Year of Publication: 2013 |
Authors: Gajendra Pratap Singh, Sangita Kansal, Mukti Acharya |
10.5120/13013-0316 |
Gajendra Pratap Singh, Sangita Kansal, Mukti Acharya . Existence and Uniqueness of a Minimum Crisp Boolean Petri Net. International Journal of Computer Applications. 73, 20 ( July 2013), 35-41. DOI=10.5120/13013-0316
In the continuing research towards characterizing 1-safe Petri nets with n-places and generating all the 2n binary n-vectors as marking vectors exactly once, the problem of determine minimum Petri nets; 'minimum' in the sense that the number of transitions is kept minimum possible for the generation of all the 2n binary n-vectors has been found. In this paper, the existence and uniqueness of a minimum Petri net which generates all the 2n binary n-vectors exactly once has been shown. For brevity, a 1-safe Petri net that generate all the binary n-vectors as marking vectors is called a Boolean Petri net and a 1-safe Petri net that generates all the binary n-vectors exactly once is called crisp Boolean Petri net.