ANNEXE
A.1 Repr´ esentation d’un graphe causal
138 Annexe A.
29 AS4 - > AS3 [ c a u s e = s u r e ]
30 AS5 - > AS2 [ c a u s e = s u r e ]
31 AS6 - > AS2 [ c a u s e = p o s s i b l e ]
32 AS6 - > AS3 [ c a u s e = p o s s i b l e ]
33 AS6 - > AS7 [ c a u s e = s u r e ]
34
35 H S S 1 [ l a b e l =" No s u b s c r i b e r " , t y p e = initial , d o m a i n =" HSS "]
36 H S S 2 [ l a b e l =" U n k n o w n c l i e n t \ nin HSS \ n ( No a c c o u n t ) " , t y p e = comm , d o m a i n =" HSS "]
37 H S S 3 [ l a b e l =" T e s t of \ n u n k n o w n \ n c l i e n t " , t y p e = test , d o m a i n =" HSS "]
38 HSS1 - > H S S 2 [ c a u s e = s u r e ]
39 HSS2 - > H S S 3 [ c a u s e = s u r e ]
40 HSS2 - > S L F 5 [ c a u s e = s u r e ]
41 HSS2 - > AS5 [ c a u s e = s u r e ]
42
43 H S S 4 [ l a b e l =" No p a y m e n t " , t y p e = initial , d o m a i n =" HSS "]
44 H S S 5 [ l a b e l =" C l i e n t b a r r i n g \ nin HSS " , t y p e = comm , d o m a i n =" HSS "]
45 H S S 6 [ l a b e l =" T e s t of c l i e n t \ n b a r r i n g " , t y p e = test , d o m a i n =" HSS "]
46 HSS4 - > H S S 5 [ c a u s e = s u r e ]
47 HSS5 - > H S S 6 [ c a u s e = s u r e ]
48 HSS5 - > S L F 4 [ c a u s e = s u r e ]
49 HSS5 - > AS4 [ c a u s e = s u r e ]
50 }
A.1. Repr´esentation d’un graphe causal 139
Liste des abr´ eviations
A
AAA Authentication, Authorization and Accounting AC Autonomic Communication
AS Application Servers
ACCA Autonomic Communication Coordination Action ACE Autonomic Commmunication Element
ANA Autonomic Network Architceture
AOC Autonomic and Opportunistic Communication AutoI Autonomic Internet
AUTONETS AUTOnomic Networking for End To end Supervision
B
BIONETS Biologically-Inspired Autonomic Networks BGCF Breakout Gateway Control Function
C
CASCADAS Componentware for Autonomic, Situated-aware Communication and Dynamically Adaptable Services
COPS Common Open Policy Service CPN Cognitive Packets Networks CSCF Call Session Control Function CT Centre Technique
D
DNS Domain Name System
E
ETSI European Telecommuication Standards Institute
140 Annexe A.
F
FET Future and Emergent Network Technologies FP6-7 Framework Programme 6th - 7th
G
GW Gateway
H
HAGGLE A novel Communication Paradigm for Autonomic Opportunistic Communication
HSS Home Subcriber Server
HTTP Hypertext Transfer Protocol
I
IA Intelligence Artificielle
I-CSCF Interrogating-Call Session Control Function IEEE Institute of Electrical and Electronics Engineers IETF Internet Engineering Task Force
IMPU IP Multimedia Public Identity IMS IP Multimedia Subsystem IP Internet Protocol
IPSEC Internet Protocol Security IPTV Internet Protocol Television IST Information Society Technologies
L
LoD Live on Demand
A.1. Repr´esentation d’un graphe causal 141
M
MAPE Monitoring, Analyzing, Planning, Executing MMS Multimedia Messaging Service
MGCP Media Gateway Control Protocol
MRFC Multimedia Resource Function Controller MRFP Multimedia Resource Function Processor
N
NGNs Next Generation Networks
P
P-CSCF Proxy-Call Session Control Function PDF Policy Decision Function
PDP Policy Decision Points PEP Policy Enforcement Points
Q
QoS Quality of Service
R
RADIUS Remote Authentication Dial In User Service RSVF Resource Reservation Protocol
RTP Real Time Protocol
RTCP Real Time Control Protocol RTSP Real Time Streaming Protocol
S
SAC Situated and Autonomic Communication S-CSCF Serving-Call Session Control Function
142 Annexe A.
SDP Session Description Protocol SIGTRAN Signalling Transport SIP Session Initiation Protocol SLF Subscriber Locator Function SMTP Simple Mail Transfer Protocol SOA Service Oriented Architecture
T
TISPAN Telecommunications and Internet converged Services and Protocols for Advanced Networking
TLS Transport Layer Security ToIP Telephony over IP
U
UE User Equipment
UMF Unified Management Framework
V
VoD Video on Demand VoIP Voice over IP
Bibliographie
[3GPPet al. 2002] 3GPP, GSM et ETSI. TS 123 002 : ”Universal Mobile Telecom-munications System (UMTS) ; Network architecture”. Rapport technique, ETSI, 2002. 52
[3GPPet al. 2005] 3GPP, GSM et ETSI. TS 24 229 : Internet Protocol (IP) mul-timedia call control protocol based on Session Initiation Protocol (SIP) and Session Description Protocol (SDP) - version 7.2.0 Release 7. Rapport tech-nique, ETSI, 2005. 54
[3GPP 2003] 3GPP. Overview of 3GPP Release 5 - Summary of all Release 5 Features. Rapport technique, 3GPP - ETSI Mobile Competence Centre, 2003. 48
[3GPP 2007] 3GPP.TS 23 228 : IP Multimedia Subsystem (IMS) ; Stage 2 (Release 7). Rapport technique, 3GPP - ETSI Mobile Competence Centre, March 2007. 48
[ANA ] ANA : Autonomic Network Architecture.
[Arp`ege 1992] Arp`ege. Gestion de r´eseaux : concepts et outils. Masson, 1992.
[AutoI 2008] AutoI. Project AutoI. Site officiel http ://ist-autoi.eu/, flyer du projet recuperable `a l’adresse ftp ://ftp.cordis.europa.eu/pub/fp7/ict/docs/future-networks/projects-autoi-factsheet en.pdf, 2008. 27
[Autonomia 2007] Project Autonomia. Autonomia : Autono-mic Control and Management Environment. Page officielle http ://acl.ece.arizona.edu/projects/Autonomia Programmable/, 2007.
29
[Beaufilset al. 2008] Pierre Beaufils, Zi`ed Choukair et Sami Tabbane. R´eseaux 4g.
LAVOISIER, 2008. 53,55
[Bertrand 2007] Gilles Bertrand.The IP Multimedia Subsystem in Next Generation Networks. May 30 2007. 50
[Bieber & Carpenter 2003] Guy Bieber et Jeff Carpenter. A Service-Oriented Component Architecture for Self-Forming, Self-Healing, Network-Centric Systems (Rev 2.0). Accessible at
144 Bibliographie
http ://www.openwings.org/download/specs/openwingswp.pdf, 2003.
29
[BIO-NETWORKING 2007] Project BIO-NETWORKING. The BIO-NETWORKING Architecture. Accessible at http ://netre-search.ics.uci.edu/bionet/, 2007. 29
[Boel & Jiroveanu 2004] Ren´e K. Boel et George Jiroveanu. Distributed Contextual Diagnosis for very Large Systems. In Proceedings of WODES’04, pages 343–348, 2004. 95
[Boel & van Schuppen 2002] Ren´e K. Boel et Jan H. van Schuppen. Decentralized Failure Diagnosis for Discrete-Event Systems with Costly Communication between Diagnosers. In Proceeding of 6th International Workshop on Dis-crete Event Systems, pages 175–181, 2002. 95
[Boubour 1997] R. Boubour. Suivi de pannes par corr´elation causale d’alarmes dans les syst`emes r´epartis : Application aux r´eseaux de t´el´ecommunication.
PhD thesis, Ifsic/Universit´e de Rennes 1, 1997. 35
[Boutaba et al. 2001] Raouf Boutaba, Salima Omari et Ajay Pal Singh Virk. SELF-CON : An architecture for self-configuration of networks. Journal of com-munication and networks ISSN 1229-2370, 2001. 29
[Brown & Patterson. 2001] A. Brown et D. Patterson. To err is Human. In Pro-ceedings of First workshop of Evaluation and Architecture of dependanbility EASY’01, 2001. 3,11
[Calhoun et al. 2003] P. Calhoun, J. Loughney, E. Guttman, G.Zorn et J. Arkko.
RFC 3588 : Diameter Base Protocol. Rapport technique, IETF, 2003. 54 [Camarillo & Martin 2004] Gonzalo Camarillo et Miguel-Angel
Garcia-Martin. The 3g ip multimedia subsystem (ims) : Merging the internet and the cellular worlds. John Wiley & sons, Ltd, 2004. 52
[Camarillo 2005] Gonzalo Camarillo. Introduction to TISPAN NGN. Rapport tech-nique, Ericsson, 2005. 48
[CASCADAS 2006] CASCADAS. Component-ware for Autonomic Situation-aware Communications, and Dynamically Adaptable Services. Page officielle http ://www.cascadas-project.org/, 2006. 26
Bibliographie 145
[Clark et al.2003] David D. Clark, Craig Partridge, J. Christopher Ramming et John T. Wroclawski. A knowledge plane for the internet. In Proceedings of the 2003 conference on Applications, technologies, architectures, and proto-cols for computer communications, pages 3 – 10, New York, NY, USA, 2003.
ACM.
[Console & Torasso 1991a] L. Console et P. Torasso. On the co-operation between abductive and temporal reasoning in medical diagnosis. Artificial Intelligence in Medicine, vol. 3, no. 6, pages 291–311, 1991. 42,44
[Console & Torasso 1991b] L. Console et P. Torasso. A spectrum of logical defini-tions of model-based diagnosis. Computational Intelligenge, pages 133–141, 1991. 42
[Cuervo et al. 2000] F. Cuervo, N. Greene, A. Rayhan, C. Huitema, B. Rosen et J. Segers. RFC 3015 : Megaco Protocol Version 1.0. Rapport technique, IETF, 2000. 55
[Cuevaset al. 2006] Antonio Cuevas, Jose I. Moreno, Pablo Vidales et Hans Ein-siedler.The IMS Service Platform : A Solution for Next Generation Network Operators to Be More Than Bit Pipes. IEEE Communications Magazine, vol. August, pages 75–81, 2006. 53
[Dagueet al. 2001] P. Dague, F. Krief, F. L´evy et A. Osmani, editeurs. Distributed model for an sdh telecommunication network diagnosis, Arlington, USA, 2001. ICIS’2001. 44
[Debouket al. 2000] Rami Debouk, St´ephane Lafortune et Demosthenis Teneket-zis. Coordinated decentralized protocols for failure diagnosis of discrete event systems. Journal of Discrete Event Dynamical Systems : Theory and Appli-cation, vol. 10(1/2), pages 33–86, 2000. 95
[Fabreet al. 2005] Eric Fabre, Albert Benveniste, Stefan Haar et Claude Jard. Dis-tributed Monitoring of Concurrent and Asynchronous Systems. Journal of Discrete Event Systems, 2005. 95
[Fujitsu-Siemens 2003] Fujitsu-Siemens. Autonomic Systems : Concept for self-managing IT infrastructures. White Paper accessible at http ://sysdoc.doors.ch/FUJITSUSIEMENS/autkonz-3030e.pdf, 2003.
29
146 Bibliographie
[Gaiti & Pujolle 1993] Dominique Gaiti et Guy Pujolle. L’intelligence dans les r´ e-seaux. Eyrolles, Octobre 1993. 36
[Genc & Lafortune 2003] Sahika Genc et St´ephane Lafortune. Distributed Diag-nosis Of Discrete-Event Systems Using Petri Nets. In Proceeding of 24th International Conference on Applications and Theory of Petri Nets., pages 316–336. LNCS 2679, 2003. 95
[Giordano & Puiatti 2006] Silvia Giordano et Alessandro Puiatti. Specifica-tion of first Haggle applicaSpecifica-tion and INFANT-Haggle. Accessible at http ://www.haggleproject.org/images/b/b0/D11 final.pdf, 2006. 27 [Grosclaude 2001] Ir`ene Grosclaude. Diagnostic abductif temporel : sc´enarios de
pannes, mod`eles causaux et traitement de l’interaction. PhD thesis, Univer-sit´e de Rennes 1, 2001.
[Group 2005] IBM Group. An architectural Blueprint for autonomic computing.
Rapport technique, IBM White paper, June 2005.
[Guerraz 2005] Bruno Guerraz. Construction de chroniques `a partir d’une mod´ eli-sation du syst`eme. Application au diagnostic de r´eseaux de t´el´ ecommunica-tions. PhD thesis, Universit´e de Rennes 1, Octobre 2005.
[Hamscher & de Kleer Walter 1992] Walter Hamscher et Johan de Kleer Walter.
Readings in model-based diagnosis. San Francisco, CA, USA, 1992.
[Hamscheret al. 1992] Walter Hamscher, Johan de Kleer et Luca Console. Rea-dings in model-based diagnosis. Morgan Kaufmann, San Meteo, CA, Etats-Unis, 1992. 40,66
[Handley & Jacobson 1998] M. Handley et V. Jacobson. RFC 2327 : SDP : Session Description Protocol. Rapport technique, IETF, 1998. 54
[Handleyet al. 1999] M. Handley, H. Schulzrinne, E. Schooler et J. Rosenberg.RFC 2543 : SIP : Session Initiation Protocol. Rapport technique, IETF, 1999. 54 [Hitachi 2007] Hitachi. Harmonous Computing. Accessible at http ://www.hitachi.co.jp/products/harmonious/center/gl/index.html, 2007. 29
Bibliographie 147
[Horn 2001] P. Horn. Autonomic Computing : IBM’s Perspective on the State of Information Technology. Technical report, IBM T. J. Warson Labs, New York, USA, 2001. 14,20,28,131,135
[ISO10040 1991] ISO10040. Open Systems Interconnection, Systems Management Overview. ISO, 1991. 34
[ISO 1998] ISO. Information technology - Open Systems Interconnection - Systems management overview. ISO/IEC 10040, 1998.
[ITU-T 2006] ITU-T.FG IPTV-R-0014. In 2nd FG IPTV meeting, Busan, Korean, 16-20 October 2006. International Telecommunication Union. 58
[Jacobet al. 2002] B. Jacob, D. K. Nadgir R. Lanyon-Hogg et A. F. Yassin. A practical guide to the IBM Autonomic Computing Toolkit. In Proceedings of 18th International Conference (ICLP 2002). IBM, 2002. 16,20
[Keller ] Ariane Keller. Intergration Guidelines for the Final ANA Distribution.
Rapport technique, ANA Project Deliverable D.4.8.
[Kephart & Chess 2003] J. O. Kephart et D. M. Chess. The vision of Autonomic Computing. In IEEE Computer Society Press, volume 36, pages 41–50, Los Alamitos, CA, USA, January 2003. 16,20
[Klenket al. 2008] Andreas Klenk, Micheal Kleis, Benoit Radier, Sanaa Elmou-mouhi, Georg Carle et Michael Salaun. Towards Autonomic Service Control in Next Generation Networks. In ICAS, pages 266–271. IEEE Computer Society, March 2008.
[Konstantinou & Yemini 2003] Alexander V. Konstantinou et Yechiam Yemini.
Programming Systems for Autonomy. In Autonomic Computing Work-shop 5th Annual International WorkWork-shop on Active Middleware Services (AMS’03), page 186, 2003. 29
[Krief & Salaun 2006] Francine Krief et Michael Salaun. L’autonomie dans les r´ e-seaux. Introduction. LAVOISIER, September 2006.
[Luet al. 2010] Jingxian Lu, Christophe Dousson, Benoit Radier et Francine Krief.
Towards an Autonomic Network Architecture for Self-healing in Telecom-munications Networks. In Proceedings of 4th International Conference on AIMS, Zurich, Switzerland, 2010. 113
148 Bibliographie
[Lu et al.2011] Jingxian Lu, Christophe Dousson et Francine Krief. A self-diagnosis algorithm based on causal graphs. In Proceeding of 7th Inter-national Conference on Autonomic and Autonomous Systems, Venice, Italy, 2011. 82
[Lu et al.2012a] Jingxian Lu, Christophe Dousson et Francine Krief. Distributed selfdiagnosis algorithm for VoIP service over IMS network. In 9th IEEE -RIVF International Conference on Computing and Communication Techno-logies, Ho Chi Minh City, Vietnam, 2012. (Submitted). 120,128
[Lu et al.2012b] Jingxian Lu, Christophe Dousson et Francine Krief.Self-diagnosis architecture for QoS and QoE management in IPTV services over IMS net-work. In The Third International Conference on Communications and Net-working, Hammamet, Tunisia, 2012. (Submitted). 130
[Mayer 1999] Emmanuel Mayer. Apprentissage inductif de sc´enarios pour la super-vision de r´eseaux de t´el´ecommunications. PhD thesis, Universit´e de Rennes 1, 1999.
[Mbaye 2009] Ma¨ıssa Mbaye. Les sys`emes cognitifs dans les r´eseaux autonomes : une m´ethode d’apprentissage distribu´e et collaboratif situ´e dans le plan de connaissance pour l’auto-adaptation. PhD thesis, Universit´e Bordeaux I, 2009. 19,23,25
[Menasce et al. 2001] D. A. Menasce, D. Barbara, et R. Dodge. Preserving QoS of e-commerce sites through self-tuning : a performance model approach. In Proceedings of the 3rd ACM Conference on Electronic Commerce (EC’01), pages 224–234, Tampa, Florida, USA, October 14-17 2001. ACM. 29 [Mercuro 2008] Mercuro. IMS Client. http ://www.mercuro.net/, 2008. 107 [Microsoft 2007] Microsoft. Dynamic Systems Initiative (DSI). Page officielle
http ://www.microsoft.com/business/dsi/default.mspx, 2007. 29
[Mikoczy et al. 2007] Eugen Mikoczy, Dmitry Sivchenko, Bangnan Xu et Veselin Rakocevic. IMS based IPTV services : Architecture and Implementation.
In Proceedings of the 3rd international conference on Mobile multimedia communications, 2007. 60
[Monster 2009] Monster. IMS Client. http ://www.monster-the-client.org/, 2009.
108
Bibliographie 149
[OpenIMS 2006] OpenIMS. The open source IMS core progect.
http ://www.openimscore.org/, 2006. 106
[Osmani & Krief 1999] A. Osmani et F. Krief, editeurs. Model-based-diagnosis for fault management in atm networks, Colmar, France, 1999. ICATM’99. IEEE.
44
[Patterson 2002] D. Patterson.Availability and Maintainability Performance : New focus for a New Century. In USENIX conference on File and Storage Tech-nologies FAST 2003, Monterey, 2002. 3,11
[Pellegriniet al. 2006] Francesco De Pellegrini, Iacopo Carreras et Giuseppa Al-fano. Application Scenario Analysis, Network Architecture Requirements and High-Level Specifications. In Deliverable of Bionets project accessible at http ://www.bionets.eu/docs/BIONETS D1 1 1.pdf, 2006. 26
[Pencol´e 2002] Yannick Pencol´e. Diagnostic d´ecentralis´e de syst`emes `a ´ev´enements discrets : application aux r´eseaux de t´el´ecommunications. PhD thesis, Uni-versit´e de Rennes 1, Juin 2002. 39,43
[Poole 1989] David Poole. Normality and Faults in Logic-Based Diagnosis. Artifi-cial Interlligence, pages 1304–1310, 1989.
[Pujolle 2008] Guy Pujolle. Les r´eseaux. Eyrolles, 2008.
[Radvision 2006] Radvision. IMS SIP and Signaling, the Radvision perspective - A technology overview. Rapport technique, Radvision, 2006. 54
[Randall.Davis & Hamscher 1988] Randall.Davis et Walter C. Hamscher. Model-based Reasoning Troubleshooting. In AI. Memo No.1059, 1988. 41
[Rosenberg et al. 2002] J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley et E. Schooler. RFC 3261 : SIP : Session Initiation Protocol. Rapport technique, IETF, 2002. 54
[R.Ponset al. 1999] R.Pons, L. Trav´e-Massuy`es et M. Porcheron. Model-based Diagnosis and maintenance of Time-verying Dynamic Systems. In 10th International Workshop on Principles of Diagnosis DX’99, Loch Awe, Scot-land, June 1999. 41
150 Bibliographie
[Schulzrinne et al. 2003] H. Schulzrinne, S. Casner, R. Frederick et V. Jacobson.
RFC 3550 : RTP : A Transport Protocol for Real-Time Applications. Rap-port technique, IETF, 2003. 55
[SELF-STAR 2007] Project SELF-STAR. Self-Star : Agents, Compo-sants et Services Autonomiques. Accessible at http ://liuppa.univ-pau.fr/spip/article.php3 ?id article=4, 2007. 29
[Simmons 1992] R. Simmons. The roles of associational and causal reasoning in problem solving. In Artificial Intelligence 53, pages 159–207, 1992. 66 [Simoni & Znaty 1997] No¨emie Simoni et Simon Znaty. Gestion de r´eseaux et de
service : similitude des concepts, sp´ecificit´es des solutions. Masson, 1997.
[Sluman 1989] Chris Sluman. A tutorial on OSI management. Computer Networks and ISDN Systems, vol. 17, pages 270–278, October 1989.
[Sterritt & Bustard 2003] R. Sterritt et D. W. Bustard. Autonomic Computing : a mean of achieving dependanbility. In Proceedings of IEEE International Conference on the engeneering of computer based systems ECBS’03, pages 247–251, 2003. 14
[Strassner et al. 2007] John C. Strassner, Nazim Agoulmine et Elyes Lehtihet. FO-CALE – A Novel Autonomic Networking Architecture. volume 3, pages 64–79, May 2007.
[Strassner et al. 2009] John Strassner, Sung-Su Kim et James Won-Ki Hong. The Design of an Autonomic Communication Element to Manage The Design of an Autonomic Communication Element to Manage The Design of an Autonomic Communication Element to Manage Future Internet Services.
In APNOMS, volume 5787 of Lecture Notes in Computer Science, pages 122–132. Springer, 2009.
[Tadault et al. 2003] M. Tadault, S. Soormally et L. Thi´ebaut. Network Evolution towards IP Multimedia Subsystem. Strategy white paper, Alcatel, 2003. 48, 50,56
[TISPAN 2006] TISPAN. ES 282 007 IP Multimedia Subsystem (IMS) ; Functional architecture NGN IMS Architecture. Rapport technique, ETSI, 2006. 52 [Tschudin et al. 2008] Christian Tschudin, Christophe Jelger et al. ANA Blueprint
- final version. In Deliverable of ANA project accessible at http
://www.ana-Bibliographie 151
project.org/web/publications/deliverables2008/start last acces 31th August, 2008. 26
[Tuffin 2009] Stephane Tuffin.Monitoring and troubleshooting VoIP. Rapport tech-nique, France Telecom (Orange Labs), 2009. 57
[UCTIMSClient 2006] UCTIMSClient. http ://uctimsclient.berlios.de/, 2006. 107 [UIT-T 1992] UIT-T. Systems Management - Alarm Reporting Function, 1992. 35 [UMTS 2001] UMTS. Ranking of top 3G services. Rapport technique, UMTS
forum, 2001.
[Ungauer 1993] C. Ungauer. Probl´ematique d’utilisation de techniques de super-vision `a base de connaissances profondes : l’exemple de la supervision du r´eseau TRANSPAC. Rapport technique, France Telecom, 1993. 39
[UniverSelf 2009] UniverSelf. http ://www.univerself-project.eu/, 2009. 27
[V9.0.0 2009] 3GPP TS 23.228 V9.0.0. IP Multimedia Subsystem (IMS) ; Stage 2 (Release 9). Technical specification group services and system aspects, 3rd Generation Partnership Projet, June 2009.
[Venkatasubramanian et al.2003a] Venkat Venkatasubramanian, Raghunathan Rengaswamy, Surya N. Kavuri et Kewen Yin. A review of process fault detection and diagnosis, volume 27 of Part I : Quantitative model-based methods. Elsevier Science Ltd., 2003.
[Venkatasubramanian et al.2003b] Venkat Venkatasubramanian, Raghunathan Rengaswamy, Surya N. Kavuri et Kewen Yin. A review of process fault detection and diagnosis, volume 27 of Part II : Quantitative models and search strategies. Elsevier Science Ltd., 2003.
[Venkatasubramanian et al.2003c] Venkat Venkatasubramanian, Raghunathan Rengaswamy, Surya N. Kavuri et Kewen Yin. A review of process fault detection and diagnosis, volume 27 of Part III : Process history based methods. Elsevier Science Ltd., 2003.
[Yoo & Lafortune 2002] T. S. Yoo et St´ephane Lafortune. A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. Journal of Discrete Event Dynamic Systems : Theory and Applications, vol. 12(3), pages 335–377, July 2002. 95