Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets.

Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi

Browse the full PADS paper archive.