PakCat catalogue record Composability Verification of Complex systems Using Colored Petri Nets By Askari, Syed Hassan Bibliographic details PublisherSEECS - NUST Publication placeIslamabad Publication year2018 LanguageEnglish Physical description46 p.: ill. Additional authorsDr. Imran Mahmood SubjectsInformation Technology MS-Thesis.