Abstract
Petri Nets were developed by Carl Adam Petri, who, in 1962, formulated a theory about the communications between components of a computer system. His definition shows strong mathematical toughness, while still having a relatively simple and comprehensible form of graphical representation. Such a characteristic is important when it is considered that such nets have a vast range of applicat…