论文部分内容阅读
Padberg J，Ehrig H等使用代数规格语义的Petri，基于图形转换理论提出一种通用构件组装框架，该框架可以适用于不同领域的动态和静态的构件组装．但由于其限制连接件的输入接口是互不相交的，即割裂了与传统Petri网的同步合成和共享合成的联系，也限制了其实际应用的灵活性．给出一种较弱的唯一性条件，及基于该条件的结构唯一性和内容兼容性的证明，并讨论在此框架体系中融合传统Petri网综合方法．最后将该框架体系实际应用于联锁逻辑的描述．