[发明专利]具有复杂进程子网的自动制造系统的协同活性构建方法

摘要

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