IEEE Transactions on Circuits and Systems, Vol. CAS-34

2030's picture
Research Title: 
Bianary Petri-Net Relationships
Authors: 
Hussein Alayan
Country: 
USA
Date: 
Tue, 1987-05-05
Research Abstract: 

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.