On the use of unfoldings to abstract communicating automata into sets of scenarios
/ Thomas Chatain, 2005
Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision of Distributed
Systems = Dépliages symboliques de réseaux de Petri de haut niveau et application
à la supervision des systèmes répartis / Thomas Chatain, 2006