摘要

本发明属于自动制造系统技术领域,公开了一种具有复杂进程子网的自动制造系统的协同活性构建方法,PN子网和满足活性的WRCN子网通过共同变迁路径合成;为避免对制造系统的运转产生浪费,一旦开始加工之后,WRCN中资源库所的资源要连续输入;在满足上述条件的前提下,PN子网中工作库所的托肯数和WRCN子网中资源库所的托肯数进一步满足限制规则中的约束。本发明采用Petri网作为数学工具,子网合成之后的结果网一定满足活性,不需要再去找出所有信标来判断结果网是否满足活性,且将适应范围进一步扩展到一般网中。对于大规模的制造系统来说,可以对更复杂的过程行为进行建模,并且节省了大量查找信标的时间。