Sign incidence matrix and generation of basis siphons and traps of Petri nets

The authors introduce a new matrix called the sign incidence matrix for Petri nets. Using this sign incidence matrix, they present a simple algorithm for generating all basis siphons and traps without first generating all siphons or traps. Any siphon (trap) can be expressed as a union of basis siphons (basis traps). The concept of siphons and traps plays an important role in the analysis of Petri nets. In particular, criteria for liveness and reachability of some subclasses of Petri nets can be stated in terms of siphons and traps.<
>