使用系统建模语言结合 Colored Petri 进行可执行系统架构，作者：Renzhong Wang 电子书下载

原名:Executable system architecting using systems modeling language in conjunction with Colored Petri by Renzhong Wang
作品简介:在部分满足学位扩展的要求中，系统建模语言（SysML）为系统提供了一组丰富的图表。这个问题可以通过模型的正式规范来解决，因为兴趣大于单个组件的反应行为。为了……