为了解决基于中介器服务组合方法的状态爆炸和不能自动生成BPEL（business process execution language）的问题，提出了一种基于Petri网......