Algebraic and geometric characterization of Petri net controllers using the theory of regions

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 219-224

  Ghaffari, A ^a   Rezg, N ^a   Xie, Xiaolan ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CHARACTERIZATION; DISCRETE EVENT SIMULATION; DISCRETE TIME CONTROL SYSTEMS; GEOMETRY; PETRI NETS;

CONTROL PLACE; FORBIDDEN STATE; GEOMETRIC CHARACTERIZATION; MINKOWSKI; PETRI NET CONTROLLER; PETRI NET MODELS; SUPERVISORY CONTROL; THEORY OF REGIONS;

CONTROLLERS;

EID: 0038569999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167691     Document Type: Conference Paper

References (8)

1. E. Badouel, L. Bernardinello and P. Darondeau, "Polynomial algorithms for the synthesis of bounded nets", Proceedings of CAAP'95, LNCS 915 (364-378), 1995.
2. F.Garcia-Valles, F. Tricas, J.Ezpeleta and J.M Colom, "Structurally safe net systems", WoDES'00, Ghent, Belgium, pp. 441-448, 2000.
3. A. Ghaffari, N. Rezg and X. Xie, "Live and maximally permissive controller synthesis using the theory of regions", SCODES'01, Paris, july 2001.
4. A. Ghaffari, N. Rezg and X. Xie, "Conception du superviseur optimal vivant à l'aide de la theórie des régions", MSR'01, Toulouse, France, october 2001.
5. A. Ghaffari, N. Rezg and X. Xie, "Net transformation and theory of regions for optimal control of Petri nets", to appear in IFAC'02, Barcelona, Spain, July 2002.
6. A. Giua, "Petri net techniques for supervisory control of discrete event systems", Proc. 1st Intern. Workshop on Manufacturing and Petri Nets, M. Silva, R. Valette, and K. Takahashi (eds.), Osaka, Japan, 1996.
7. P.J. Ramadge and W.M. Wonham, "The Control of Discrete Event Systems" Proceedings of IEEE, vol. 77, pp. 81-98, 1989.
8. N. Rezg, X. Xie and A. Ghaffari, "Supervisory control of dicrete event systems using the theory of regions", WoDES'00, Ghent, Belgium, pp.391-398, August 2000.