Yingmin Li. Diagnosis of Large Software Systems Based on Colored Petri Nets. PhD thesis, University of Paris-Sud, Orsay, France, 2010. [doi]
@phdthesis{hal-3112, title = {Diagnosis of Large Software Systems Based on Colored Petri Nets}, author = {Yingmin Li}, year = {2010}, url = {https://tel.archives-ouvertes.fr/tel-00551301}, researchr = {https://researchr.org/publication/hal-3112}, cites = {0}, citedby = {0}, school = {University of Paris-Sud, Orsay, France}, }