Modeling and integration of hospital information systems with petri nets

2009 IEEE/INFORMS International Conference on Service Operations, Logistics and Informatics, SOLI 2009

Volumn , Issue , 2009, Pages 190-195

  Darabi, Houshang ^a   Galanter, William L ^b   Lin, Janet Yueh Yun ^b   Buy, Ugo ^a   Sampath, Rupa ^c  

^a 1120 Science and Engineering Offices   (United States)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

^c UNIVERSITY OF CHICAGO MEDICAL CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHICAGO; DECISION SUPPORT TOOLS; DYNAMIC RE-CONFIGURATION; FORMAL MODEL; HEALTHCARE ORGANIZATIONS; HOSPITAL INFORMATION SYSTEMS; MEDICAL CENTER; SOFTWARE PROTOTYPES; STATISTICAL ANALYSIS; UNIVERSITY OF ILLINOIS;

DECISION SUPPORT SYSTEMS; DYNAMIC MODELS; GRAPH THEORY; INFORMATION SYSTEMS; MEDICAL COMPUTING; PETRI NETS; SIMULATORS; SOFTWARE PROTOTYPING;

HOSPITALS;

EID: 70449471876     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOLI.2009.5203928     Document Type: Conference Paper

References (10)

1. C. Girault and R. Valk. Petri Nets f or System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag, Secaucus, NJ, 2001.
2. M. Haji, L. Agostoni, P. Gullo, H. Darabi, and M. Mancini. An improved multi-mode resource allocation and project scheduling model. In Proc. IEEE Int. Conf. on Automation Science and Engineering (CASE 2008), pages 365-370, Arlington, VA, 2008.
3. M. Haji and H. Darabi. Petri net based supervisory conrol reconfiguration of project management systems. In Proc. IEEE Int. Conf. on Automation Science and Engineering (CASE 2007), pages 460-465, Scottsdale, AZ, 2007.
4. L. Maruster, W. van der Aalst, A. Weijters, A. van den Bosch, and W. Daelemans. Automated discovery of workflow models from hospital data. In B. Kröse and M. V. S. M. de Rijke, G. Schreiber, editors, Proc. 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), pages 183-190, 2001.
5. J T. Murata. Petri nets : Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, Apr. 1989.
6. S. Quaglini, M. Stefanelli, A. Cavallini, G. Micieli, C. Fassino, and C. Mossa. Guideline-based careflow systems. Artificial Intelligence in Medicine, 20(1) :5- 22, 2000.
7. R. Sampath, H. Darabi, U. Buy, and 1. Liu. Control reconfiguration of discrete event systems with dynamic control specifications. IEEE Trans. on Automation Science and Engineering, 5(1) :84-100,2008.
8. W. van der Aalst, T. Weijters, and L. Maruster. Workflow mining : Discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128-1142,2004.
9. B. F. van Dongen, A. K. A. de Medeiros, H. M. W. Verbeek, A. 1. M. M. Weijters, and W. M. P. van der Aalst. The ProM framework : A new era in process mining tool support. In Application and Theory of Petri Nets, Lecture Notes in Computer Science 3536, pages 444-454, Berlin, Germany, 2005. Springer-Verlag.
10. L. Wen, W. M. P. van der Aalst, 1. Wang, and J. Sun. Mining process models with non-free-choice constructs. Data Mining and Knowledge Discovery, 2007.