Diagnosis of Large Software Systems Based on Colored Petri Nets

Yingmin Li. Diagnosis of Large Software Systems Based on Colored Petri Nets. PhD thesis, University of Paris-Sud, Orsay, France, 2010. [doi]

Abstract

Abstract is missing.