A Boolean approach to the state machine decomposition of Petri nets with OBDD's | Publicación