基于Petri网的构件组装运算及其性质
【摘要】:文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法。
【相似文献】 | ||
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|||
|
|
|||
|
【相似文献】 | ||
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|||
|
|
|||
|