ALGEBRAIC ANALYSIS OF PETRI NET BASED CONTROL ALGORITHMS

The algebraic analysis of Petri Nets combines structural analysis (Transition and Place-Invariants) with information about the initial marking of the net. The main advantage of algebraic analysis over graph based methods is, that the problem of state space explosion is avoided. Hence, algebraic conditions are-in most cases-easier to check for large systems. In this contribution necessary and sufficient algebraic conditions for the correctness of Petri Net based control algorithms are presented.