Verification and optimisation of an operating room workflow

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2002-January, Issue , 2002, Pages 2581-2590

  Barkaoui, K ^a   Dechambre, Ph ^a   Hachicha, R ^a  

^a Bioinformatique et Chimie Moléculaire   (France)

Author keywords

Business process re engineering; Control systems; Costs; Electrical equipment industry; Hospitals; Petri nets; Quality of service; Resource management; Scheduling; Workflow management software

Indexed keywords

CONTROL SYSTEMS; COST ENGINEERING; COSTS; ELECTRIC MACHINE CONTROL; HOSPITALS; OPERATING ROOMS; PETRI NETS; QUALITY OF SERVICE; REENGINEERING; SCHEDULING; WORK SIMPLIFICATION;

BUSINESS PROCESS; BUSINESS PROCESS RE-ENGINEERING; CENTRALIZATION AND DECENTRALIZATIONS; ELECTRICAL EQUIPMENT; PROCESS REENGINEERING; RESOURCE MANAGEMENT; SOUNDNESS VERIFICATIONS; WORKFLOW MANAGEMENTS;

QUALITY CONTROL;

EID: 84948698717     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2002.994236     Document Type: Conference Paper

References (7)

1. W.M.P. Van der Aalst, "Verification of workflow nets", LNCS no1248, 1997.
2. K. Barkaoui and J-F. Pradat-Peyre, "On liveness and controlled siphons in Petri nets", LNCS no1091, 1996.
3. K.Barkaoui and L.Petrucci: "Structural analysis of workflow nets with shared resources", Proc. of First International Workshop on Workflow and Petri nets, 1998.
4. P. Carvalho de Oliveira , "Modélisation par réseaux de files d'attente de l'architecture du bloc opératoire" Mémoire d'Ingénieur CNAM, 1998.
5. R.Levan : "Le projet workflow", Editions Eyrolles, 1999.
6. P. Lawrence, "Workflow Handbook", Workflow Management Coalition, John Willey and sons Editor, 1997
7. B. Changuion, I. Davies, M. Nelte, "DaNAMiCS - a Petri Net Editor" Computer Science Department University of Cape Town.