Dynamic reconfiguration of software objects using Petri nets and network unfolding. - Michael D. Lemmon; Kevin X. He; Sol Shatz (SMC, 2000)