Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves. Efficient state-based analysis by introducing bags in Petri nets color domains. In American Control Conference, ACC 2009. St. Louis, Missouri, USA, June 10-12, 2009. pages 5018-5025, IEEE, 2009. [doi]
Abstract is missing.