1. An asynchronous game on distributed Petri nets;Adobbati,2019
2. Mobile Petri Nets;Asperti,1996
3. Modeling concurrent systems: reconfigurable nets;Badouel,2003
4. Dynamic dynamic changes in concurrent systems: Modelling and verification;Badouel,1999
5. Distributing finite automata through Petri net synthesis;Badouel;Form. Asp. Comput.,2002