1. Binary decision diagrams;AKERS;IEEE Transaction on Computers,1978
2. Algebraic decision diagrams and their applications
3. Deadlocks and traps in Petri Nets as Horn satisfiability solutions and some related polynomially solvable problems;BARKAOUI;Discrete Applied Mathematics,1990
4. On liveness and controlled siphons in Petri nets;BARKAOUI;Petri Nets, Theory and Application,1996