[HL 12] On iterative liveness-enforcement for a class of generalized Petri nets

Conférence Internationale avec comité de lecture : 8th IEEE International Conference on Automation Science and Engineering, August 2012, pp.184-189, Seoul, kr,

Auteurs: Y. Hou , D. Liu , M. Zhou

Mots clés: deadlock control, Petri net, flexible manufacturing system, structure, mixed integer programming

Résumé: This work presents an iterative liveness-enforcing method for a class of generalized Petri nets, which can model flexible manufacturing systems. The proposed method checks the liveness of net models using mixed integer programming and controls the token allocations of resource places instead of siphons using a liveness and resource usage ratio-enforcing supervisor. The number of iterations is bounded by the number of shared resource places in the net model. All strict minimal siphons in the controlled systems are minimally controlled. Several explanatory examples are used to illustrate this method.

Equipe: sys

BibTeX

@inproceedings {
	HL 12,
	title	=	"{On iterative liveness-enforcement for a class of generalized Petri nets}",
	author	=	" Y. Hou and D. Liu and M. Zhou ",
	booktitle	=	"{8th IEEE International Conference on Automation Science and Engineering}",
	year	=	2012,
	month	=	"August",
	pages	=	"184-189",
	address	=	"Seoul, kr",
}