Luca Ferrarini, Luigi Piroddi. Automatic synthesis of multiple place resource models with Petri nets. In Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004. pages 5096-5101, IEEE, 2004. [doi]
Abstract is missing.