Title :
Binary Petri-net relationships
Author :
Alayan, H. ; Newcomb, R.W.
fDate :
5/1/1987 12:00:00 AM
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.
Keywords :
Petri networks; Circuits and systems; Intersymbol interference; Oscillators; Power system analysis computing; Power system dynamics; Power system modeling; Power system stability; Power system transients; Stability analysis; Synchronous generators;
Journal_Title :
Circuits and Systems, IEEE Transactions on
DOI :
10.1109/TCS.1987.1086168