Use of petri nets for load sharing control in distributed generation applications | IEEE Conference Publication | IEEE Xplore