Binary Petri-net relationships

A full set of equations describing binary Petri-nets is presented in terms of integer algebra. In doing this, an equation is developed that allows for determination of the firing vector in terms of the markings and the input. Because the results are expressed in terms of integer arithmetic rather than Boolean algebra, they allow for extension to other classes of Petri-nets as well as yield ease of programming for Petri-net analysis.