메뉴 건너뛰기




Volumn 70, Issue 5-6, 2006, Pages 358-376

Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervision of a transport system

Author keywords

Interactive system; Petri nets; Simulation; Supervision; Transport system

Indexed keywords

HUMAN COMPUTER INTERACTION; PETRI NETS; TRANSPORTATION;

EID: 32144461981     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.matcom.2005.11.006     Document Type: Conference Paper
Times cited : (24)

References (47)
  • 1
    • 32144453656 scopus 로고    scopus 로고
    • Modélisation des tâches dans la conception et l'évaluation des systèmes interactifs: La méthode SADT/Petri
    • C. Kolski Editions Hermes Paris
    • M. Abed, H. Ezzedine, and C. Kolski Modélisation des tâches dans la conception et l'évaluation des systèmes interactifs: la méthode SADT/Petri C. Kolski Analyse et Conception de l'IHM, Interaction Homme-Machine pour les SI vol. 1 2001 Editions Hermes Paris 145 174
    • (2001) Analyse et Conception de l'Ihm, Interaction Homme-Machine Pour les SI , vol.1 , pp. 145-174
    • Abed, M.1    Ezzedine, H.2    Kolski, C.3
  • 4
    • 0030677590 scopus 로고    scopus 로고
    • From single user architectural design to PAC*: A Generic Software Architecture Model for CSCW
    • Atlanta, March ACM Press New York
    • G. Calvary, J. Coutaz, and L. Nigay From single user architectural design to PAC*: a Generic Software Architecture Model for CSCW Proceedings of CHI'97 Atlanta, March 1997 ACM Press New York 242 249
    • (1997) Proceedings of CHI'97 , pp. 242-249
    • Calvary, G.1    Coutaz, J.2    Nigay, L.3
  • 5
    • 0038780498 scopus 로고    scopus 로고
    • Supporting context changes for plastic user interfaces: A process and a mechanism
    • A. Blanford J. Vanderdonckt P. Gray Springer
    • G. Calvary, J. Coutaz, and D. Thévenin Supporting context changes for plastic user interfaces: a process and a mechanism A. Blanford J. Vanderdonckt P. Gray People and Computer XV - Interaction without Frontiers 2001 Springer 349 363
    • (2001) People and Computer XV - Interaction Without Frontiers , pp. 349-363
    • Calvary, G.1    Coutaz, J.2    Thévenin, D.3
  • 6
    • 0141834369 scopus 로고    scopus 로고
    • Interaction between agents in routine, familiar and unfamiliar situations
    • B. Chaib-Draa Interaction between agents in routine, familiar and unfamiliar situations Int. J. Intell. Cooperative Inf. Syst. 5 1 1996 1 25
    • (1996) Int. J. Intell. Cooperative Inf. Syst. , vol.5 , Issue.1 , pp. 1-25
    • Chaib-Draa, B.1
  • 9
    • 32144435411 scopus 로고    scopus 로고
    • Régulation du trafic inter-stations
    • GRRT Cooperative Project, Lille, France, April
    • F. Chihaib, S. Hammadi, P. Borne, Régulation du trafic inter-stations, Final report, GRRT Cooperative Project, Lille, France, April 2001.
    • (2001) Final Report
    • Chihaib, F.1    Hammadi, S.2    Borne, P.3
  • 10
    • 14844288258 scopus 로고    scopus 로고
    • Agent oriented specification of interactive systems: Basic principles and industrial case study
    • C. kolski J. Vanderdonckt Kluwer Academics Publishers Dortrecht
    • F. Cartegnie, H. Ezzedine, A. Péninou, and C. Kolski Agent oriented specification of interactive systems: basic principles and industrial case study C. kolski J. Vanderdonckt Computer-Aided Design of User Interfaces III 2002 Kluwer Academics Publishers Dortrecht 381 388
    • (2002) Computer-Aided Design of User Interfaces III , pp. 381-388
    • Cartegnie, F.1    Ezzedine, H.2    Péninou, A.3    Kolski, C.4
  • 11
    • 0002522580 scopus 로고
    • PAC, an implementation model for dialog design
    • H.J. Bullinger B. Shackel North Holland
    • J. Coutaz PAC, an implementation model for dialog design H.J. Bullinger B. Shackel Proceedings Interact'87 Conference North Holland 1987 431 436
    • (1987) Proceedings Interact'87 Conference , pp. 431-436
    • Coutaz, J.1
  • 13
    • 0002497105 scopus 로고    scopus 로고
    • Architectures for collaborative applications
    • M. Beaudouin-Lafon Wiley & Sons Pub.
    • P. Dewan Architectures for collaborative applications M. Beaudouin-Lafon Computer Supported Co-operative Work 1999 Wiley & Sons Pub. 169 193
    • (1999) Computer Supported Co-operative Work , pp. 169-193
    • Dewan, P.1
  • 14
    • 2842533639 scopus 로고    scopus 로고
    • Une Méthode d'évaluation d'Interface Homme-Machine de supervision d'un procédé industriel
    • H. Ezzedine, and M. Abed Une Méthode d'évaluation d'Interface Homme-Machine de supervision d'un procédé industriel J. Européen des Systèmes Automatisés (JESA) 31 7 1997 1087 1110
    • (1997) J. Européen des Systèmes Automatisés (JESA) , vol.31 , Issue.7 , pp. 1087-1110
    • Ezzedine, H.1    Abed, M.2
  • 17
    • 32144454693 scopus 로고    scopus 로고
    • Modelling of agent oriented interaction using petri nets, application to HMI design for transport system supervision
    • P. Borne E. Craye N. Dangourmeau Lille, France, July 9-11, Ecole Centrale Lille, Villeneuve d'Ascq
    • H. Ezzedine, A. Trabelsi, and C. Kolski Modelling of agent oriented interaction using petri nets, application to HMI design for transport system supervision P. Borne E. Craye N. Dangourmeau Proceedings CESA2003 IMACS Multiconference Computational Engineering in Systems Applications Lille, France, July 9-11, Ecole Centrale Lille, Villeneuve d'Ascq 2003 1 8
    • (2003) Proceedings CESA2003 IMACS Multiconference Computational Engineering in Systems Applications , pp. 1-8
    • Ezzedine, H.1    Trabelsi, A.2    Kolski, C.3
  • 22
    • 32144449547 scopus 로고    scopus 로고
    • Specifying artificial cooperative agents through a synthesis of several models of cooperation
    • J.M. Hoc P. Millot E. Hollnagel P.C. Cacciabue Presses Universitaires de Valenciennes Valenciennes
    • E. Grislin-Le Strugeon, and P. Millot Specifying artificial cooperative agents through a synthesis of several models of cooperation J.M. Hoc P. Millot E. Hollnagel P.C. Cacciabue Proceedings of CSAPC'99 1999 Presses Universitaires de Valenciennes Valenciennes 73 78
    • (1999) Proceedings of CSAPC'99 , pp. 73-78
    • Grislin-Le Strugeon, E.1    Millot, P.2
  • 25
    • 0034140238 scopus 로고    scopus 로고
    • Steps to take before intelligent user interfaces become real
    • K. Höök Steps to take before intelligent user interfaces become real Interact. Comput. 12 2000 409 426
    • (2000) Interact. Comput. , vol.12 , pp. 409-426
    • Höök, K.1
  • 27
    • 0034140040 scopus 로고    scopus 로고
    • Assistant agents for the world wide web intelligent interface design challenges
    • R.D. Keeble, and R.D. Macredie Assistant agents for the world wide web intelligent interface design challenges Interact. Comput. 12 2000 357 381
    • (2000) Interact. Comput. , vol.12 , pp. 357-381
    • Keeble, R.D.1    MacRedie, R.D.2
  • 28
    • 0035283978 scopus 로고    scopus 로고
    • Information agent technology for the Internet: A survey
    • M. Klusch Information agent technology for the Internet: a survey Data Knowledge Eng. 36 3 2001 337 372
    • (2001) Data Knowledge Eng. , vol.36 , Issue.3 , pp. 337-372
    • Klusch, M.1
  • 29
    • 0542443297 scopus 로고    scopus 로고
    • A review of intelligent human-machine interfaces in the light of the ARCH model
    • C. Kolski, and E. Le Strugeon A review of intelligent human-machine interfaces in the light of the ARCH model Int. J. Human-Comput. Interact. 10 3 1998 193 231
    • (1998) Int. J. Human-Comput. Interact. , vol.10 , Issue.3 , pp. 193-231
    • Kolski, C.1    Le Strugeon, E.2
  • 30
    • 32144461717 scopus 로고    scopus 로고
    • Traffic control assistance in connection nodes: Multi-agent applications in urban transport systems
    • H. Laïchour, S. Maouche, and R. Mandiau Traffic control assistance in connection nodes: multi-agent applications in urban transport systems Comput. Int. Sci. J. 1 2002 37 42
    • (2002) Comput. Int. Sci. J. , vol.1 , pp. 37-42
    • Laïchour, H.1    Maouche, S.2    Mandiau, R.3
  • 32
    • 32144452915 scopus 로고    scopus 로고
    • Validation du module d'aide à la prise de décision des régulateurs
    • GRRT Cooperative Project, INRETS-ESTAS, Villeneuve d'Ascq, France, April
    • M. Merad, G. Macaigne, S. Hayat, J. Rodriguez, Validation du module d'aide à la prise de décision des régulateurs, Final report, GRRT Cooperative Project, INRETS-ESTAS, Villeneuve d'Ascq, France, April 2001.
    • (2001) Final Report
    • Merad, M.1    MacAigne, G.2    Hayat, S.3    Rodriguez, J.4
  • 34
    • 32144437059 scopus 로고    scopus 로고
    • Introduction du critère flux de passagers pour la régulation du trafic en station
    • GRRT Cooperative Project, LAIL, Villeneuve d'Ascq, France, April
    • K. Mesghouni, E. Castelain, J.C. Gentina, S. Hammadi, Introduction du critère flux de passagers pour la régulation du trafic en station Final report, GRRT Cooperative Project, LAIL, Villeneuve d'Ascq, France, April 2001.
    • (2001) Final Report
    • Mesghouni, K.1    Castelain, E.2    Gentina, J.C.3    Hammadi, S.4
  • 36
    • 0004535271 scopus 로고    scopus 로고
    • Human factors in process control
    • G. Salvendy John Wiley & Sons
    • N. Moray Human factors in process control G. Salvendy Handbook of Human Factors and Ergonomics 1997 John Wiley & Sons 1944 1971
    • (1997) Handbook of Human Factors and Ergonomics , pp. 1944-1971
    • Moray, N.1
  • 39
    • 0031246522 scopus 로고    scopus 로고
    • Synergistic modelling of tasks, users and systems using formal specification techniques
    • P. Palanque, and R. Bastide Synergistic modelling of tasks, users and systems using formal specification techniques Interact. Comput. 9 2 1997 129 153
    • (1997) Interact. Comput. , vol.9 , Issue.2 , pp. 129-153
    • Palanque, P.1    Bastide, R.2
  • 41
    • 14844288259 scopus 로고    scopus 로고
    • Multi-agent systems for adaptive multi-user interactive systems design: Some issues of research
    • H.J. Bullinger J. Ziegler Lawrence Erlbaum Associates London
    • A. Péninou, E. Grislin-Le Strugeon, and C. kolski Multi-agent systems for adaptive multi-user interactive systems design: some issues of research H.J. Bullinger J. Ziegler Human-Computer Interaction, Ergonomics and User Interfaces vol. 1 1999 Lawrence Erlbaum Associates London 326 330
    • (1999) Human-Computer Interaction, Ergonomics and User Interfaces , vol.1 , pp. 326-330
    • Péninou, A.1    Grislin-Le Strugeon, E.2    Kolski, C.3
  • 43
    • 32144447959 scopus 로고
    • Evaluation ergonomique des IHM: Une revue de la littérature
    • INRIA, France
    • B. Senach, Evaluation ergonomique des IHM: Une revue de la littérature, Technical report, INRIA, France, No. 1180, 1990.
    • (1990) Technical Report , Issue.1180
    • Senach, B.1
  • 44
    • 0002102891 scopus 로고
    • Task allocation and supervisory control
    • M. Helander Elsevier Science Publishers B.V North-Holland
    • T.B. Sheridan Task allocation and supervisory control M. Helander Handbook of Human-Computer Interaction 1988 Elsevier Science Publishers B.V North-Holland
    • (1988) Handbook of Human-Computer Interaction
    • Sheridan, T.B.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.