Embedding an Arbitrary 1-safe Petri Net into a Boolean Petri Net
Gajendra PratapSingh, Sangita Kansal, Mukti Acharya · International Journal of Computer Applications · 2013
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 1safe 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.