Construction of a Crisp Boolean Petri Net from a 1-safe Petri Net
Gajendra PratapSingh, Sangita Kansal, Mukti Acharya · International Journal of Computer Applications · 2013
The concept of a Petri net, a tool for the study of certain discrete dynamical systems, was invented in 1939 by Carl Adam Petri.In the attempt to characterize Boolean Petri nets, we discovered a subclass of Boolean Petri net called the crisp Boolean Petri net, viz., the one that generates every binary vector as its marking vectors exactly once.In this paper, the construction of a crisp Boolean Petri net from a 1-safe Petri net has been shown.