科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明属于自动制造系统领域,公开了一种基于Petri网的资源共享装配操作系统活性构建方法,将装配结构的Petri子网按照资源的竞争情况分解；计算子网中需要添加的子资源控制库所的结构；分析子网的合成规则,并限制子资源控制库所和资源库所的资源个数关系,使得到的合成网满足活性。本发明通过提供子网合成和限制规则使得综合建模合成网必然满足活性。本发明采用在合成时通过子资源控制库所sub-RCP对合成网各部分子系统的资源分配情况进行调节和规划,然后将共同变迁合成最终的大网的创新方法。不仅适用于一般的Petri网系统的建模过程,同时适用于具有并行、同步操作等复杂系统,具有更强的适用性。
- 单位
