International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
Volume 70 - Issue 6 |
Published: May 2013 |
Authors: Gajendra Pratap Singh, Sangita Kansal, Mukti Acharya |
![]() |
Gajendra Pratap Singh, Sangita Kansal, Mukti Acharya . Embedding an Arbitrary 1-safe Petri Net into a Boolean Petri Net. International Journal of Computer Applications. 70, 6 (May 2013), 7-9. DOI=10.5120/11964-7824
@article{ 10.5120/11964-7824, author = { Gajendra Pratap Singh,Sangita Kansal,Mukti Acharya }, title = { Embedding an Arbitrary 1-safe Petri Net into a Boolean Petri Net }, journal = { International Journal of Computer Applications }, year = { 2013 }, volume = { 70 }, number = { 6 }, pages = { 7-9 }, doi = { 10.5120/11964-7824 }, publisher = { Foundation of Computer Science (FCS), NY, USA } }
%0 Journal Article %D 2013 %A Gajendra Pratap Singh %A Sangita Kansal %A Mukti Acharya %T Embedding an Arbitrary 1-safe Petri Net into a Boolean Petri Net%T %J International Journal of Computer Applications %V 70 %N 6 %P 7-9 %R 10.5120/11964-7824 %I Foundation of Computer Science (FCS), NY, USA
Petri nets are powerful mathematical formalism for designing and studying behaviors of a wide range of discrete dynamical event driven systems. The aim of this paper is to show that an arbitrary 1- safe Petri net can be embedded as an induced subnet of a Boolean Petri net, viz. , the one that generates every binary n-vector as its marking vector.