Ana Paula Estrada-Vargas, Jean-Jacques Lesage, Ernesto López-Mellado. Identification of industrial automation systems: Building compact and expressive Petri Net models from observable behavior. In American Control Conference, ACC 2012, Montreal, QC, Canada, June 27-29, 2012. pages 6095-6101, IEEE, 2012. [doi]
Abstract is missing.