<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462025000100423</article-id>
<article-id pub-id-type="doi">10.13053/cys-29-1-5140</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Formal Modeling and Verification of Healthcare Systems Requirements Based on Simulation and Hoare Logic]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Beladam]]></surname>
<given-names><![CDATA[Naima]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Ghomari]]></surname>
<given-names><![CDATA[Abdelghani]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,University of Relizane Faculty of Science and Technology Department of Computer Science]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Algeria</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,University Oran 1 Ahmed Ben Bella Faculty of Exact and Applied Sciences Department of Computer Science]]></institution>
<addr-line><![CDATA[Oran ]]></addr-line>
<country>Algeria</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>03</month>
<year>2025</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>03</month>
<year>2025</year>
</pub-date>
<volume>29</volume>
<numero>1</numero>
<fpage>423</fpage>
<lpage>439</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462025000100423&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462025000100423&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462025000100423&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: This paper proposes a new approach to formal modeling and verification of healthcare systems based on simulation and using Hoare Logic, with a focus on the dental department of an Algerian hospital. We have proposed inference rules inspired by Hoare Logic, adapted for the formal specification and verification of healthcare systems. The methodology includes the creation of a conceptual model incorporating these rules, followed by the simulation of this model to analyze and improve healthcare system performance. The obtained results of our case study show that the proposed approach allows healthcare professionals to identify inefficiencies, optimize resource utilization, reduce patient waiting times, and ensure the reliability of healthcare systems. This research paper demonstrates the effectiveness of integrating Hoare Logic inference rules into simulation processes to improve healthcare systems performance and support healthcare professionals' decision-making.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Healthcare systems]]></kwd>
<kwd lng="en"><![CDATA[formal specification]]></kwd>
<kwd lng="en"><![CDATA[formal verification]]></kwd>
<kwd lng="en"><![CDATA[Hoare logic]]></kwd>
<kwd lng="en"><![CDATA[dental department]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Thorwarth]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Rashwan]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Arisha]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An analytical representation of flexible resource allocation in hospitals]]></article-title>
<source><![CDATA[Flexible Services and Manufacturing Journal]]></source>
<year>2016</year>
<volume>28</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>148-65</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ben-Tovim]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Filar]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Hakendorf]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Qin]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Thompson]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Ward]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Hospital Event Simulation Model: Arrivals to Discharge&#8211;Design, development and application]]></article-title>
<source><![CDATA[Simulation Modelling Practice and Theory]]></source>
<year>2016</year>
<volume>68</volume>
<page-range>80-94</page-range></nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chahal]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Eldabi]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Hybrid simulation and modes of governance in UK healthcare]]></article-title>
<source><![CDATA[Transforming government: People, Process and Policy]]></source>
<year>2011</year>
<volume>5</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>143-54</page-range></nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Koelling]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Schwandt]]></surname>
<given-names><![CDATA[M.J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Health systems: A dynamic system&#8212;Benefits from system dynamics]]></source>
<year>2005</year>
<conf-name><![CDATA[ Winter Simulation Conference]]></conf-name>
<conf-loc> </conf-loc>
<page-range>1321-6</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Arisha]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Rashwan]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<source><![CDATA[Modeling of healthcare systems: past, current and future trends]]></source>
<year>2016</year>
<conf-name><![CDATA[ Winter Simulation Conference (WSC)]]></conf-name>
<conf-loc> </conf-loc>
<page-range>1523-34</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gillespie]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[McClean]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[FitzGibbons]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Scotney]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Dobbs]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Meenan]]></surname>
<given-names><![CDATA[B. J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Do we need stochastic models for healthcare? The case of ICATS?]]></article-title>
<source><![CDATA[Journal of Simulation]]></source>
<year>2014</year>
<volume>8</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>293-303</page-range></nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Marshall]]></surname>
<given-names><![CDATA[D.A.]]></given-names>
</name>
<name>
<surname><![CDATA[Burgos-Liz]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[IJzerman]]></surname>
<given-names><![CDATA[M.J.]]></given-names>
</name>
<name>
<surname><![CDATA[Osgood]]></surname>
<given-names><![CDATA[N.D.]]></given-names>
</name>
<name>
<surname><![CDATA[Padula]]></surname>
<given-names><![CDATA[W.V.]]></given-names>
</name>
<name>
<surname><![CDATA[Higashi]]></surname>
<given-names><![CDATA[M.K.]]></given-names>
</name>
<name>
<surname><![CDATA[Crown]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Applying dynamic simulation modeling methods in health care delivery research&#8212;the SIMULATE checklist: Report of the ISPOR simulation modeling emerging good practices task force]]></article-title>
<source><![CDATA[Value in health]]></source>
<year>2015</year>
<volume>18</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>5-16</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Vázquez-Serrano]]></surname>
<given-names><![CDATA[J.I.]]></given-names>
</name>
<name>
<surname><![CDATA[Peimbert-García]]></surname>
<given-names><![CDATA[R.E.]]></given-names>
</name>
<name>
<surname><![CDATA[Cárdenas-Barrón]]></surname>
<given-names><![CDATA[L.E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Discrete-event simulation modeling in healthcare: A comprehensive review]]></article-title>
<source><![CDATA[International journal of environmental research and public health]]></source>
<year>2021</year>
<volume>18</volume>
<numero>22</numero>
<issue>22</issue>
<page-range>12262</page-range></nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Giannouchos]]></surname>
<given-names><![CDATA[T.V.]]></given-names>
</name>
<name>
<surname><![CDATA[Biskupiak]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Moss]]></surname>
<given-names><![CDATA[M.J.]]></given-names>
</name>
<name>
<surname><![CDATA[Brixner]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Andreyeva]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[Ukert]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Trends in outpatient emergency department visits during the COVID-19 pandemic at a large, urban, academic hospital system]]></article-title>
<source><![CDATA[The American journal of emergency medicine]]></source>
<year>2021</year>
<volume>40</volume>
<page-range>20-6</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Derni]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Boufera]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Khelfi]]></surname>
<given-names><![CDATA[M.F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An Advanced Heuristic Approach for the Optimization of Patient Flow in Hospital Emergency Department]]></article-title>
<source><![CDATA[International Journal of Intelligent Systems and Applications]]></source>
<year>2019</year>
<volume>11</volume>
<numero>9</numero>
<issue>9</issue>
<page-range>29</page-range></nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Najmuddin]]></surname>
<given-names><![CDATA[A.F.]]></given-names>
</name>
<name>
<surname><![CDATA[Ibrahim]]></surname>
<given-names><![CDATA[I.M.]]></given-names>
</name>
<name>
<surname><![CDATA[Ismail]]></surname>
<given-names><![CDATA[S.R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A simulation approach: Improving patient waiting time for multiphase patient flow of obstetrics and gynecology department O&amp;G Department in local specialist centre]]></article-title>
<source><![CDATA[WSEAS Trans Math]]></source>
<year>2010</year>
<volume>9</volume>
<numero>10</numero>
<issue>10</issue>
<page-range>778-90</page-range></nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Zeinalnezhad]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Chofreh]]></surname>
<given-names><![CDATA[A.G.]]></given-names>
</name>
<name>
<surname><![CDATA[Goni]]></surname>
<given-names><![CDATA[F.A.]]></given-names>
</name>
<name>
<surname><![CDATA[Kleme&#353;]]></surname>
<given-names><![CDATA[J.J.]]></given-names>
</name>
<name>
<surname><![CDATA[Sari]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Simulation and improvement of patients&#8217; workflow in heart clinics during COVID-19 pandemic using timed coloured petri nets]]></article-title>
<source><![CDATA[International journal of environmental research and public health]]></source>
<year>2020</year>
<volume>17</volume>
<numero>22</numero>
<issue>22</issue>
<page-range>8577</page-range></nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Yeh]]></surname>
<given-names><![CDATA[J.Y.]]></given-names>
</name>
<name>
<surname><![CDATA[Lin]]></surname>
<given-names><![CDATA[W.S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Using simulation technique and genetic algorithm to improve the quality care of a hospital emergency department]]></article-title>
<source><![CDATA[Expert Systems with Applications]]></source>
<year>2007</year>
<volume>32</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>1073-83</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Currie]]></surname>
<given-names><![CDATA[C.S.M.]]></given-names>
</name>
<name>
<surname><![CDATA[Fowler]]></surname>
<given-names><![CDATA[J.W.]]></given-names>
</name>
<name>
<surname><![CDATA[Kotiadis]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Monks]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Onggo]]></surname>
<given-names><![CDATA[B.S.]]></given-names>
</name>
<name>
<surname><![CDATA[Robertson]]></surname>
<given-names><![CDATA[D.A.]]></given-names>
</name>
<name>
<surname><![CDATA[Tako]]></surname>
<given-names><![CDATA[A.A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[How simulation modelling can help reduce the impact of 16 E. KAR ET AL.COVID-19]]></article-title>
<source><![CDATA[Journal of Simulation]]></source>
<year>2020</year>
<volume>14</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>83-97</page-range></nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Niyonkuru]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Wainer]]></surname>
<given-names><![CDATA[G.A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Discrete-event modeling and simulation for embedded systems]]></article-title>
<source><![CDATA[Computing in Science &amp; Engineering]]></source>
<year>2015</year>
<volume>17</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>52-63</page-range></nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Brailsford]]></surname>
<given-names><![CDATA[S.C.]]></given-names>
</name>
<name>
<surname><![CDATA[Eldabi]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Kunc]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Mustafee]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[A.F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Hybrid simulation modelling in operational research: A state-of-the-art review]]></article-title>
<source><![CDATA[European Journal of Operational Research]]></source>
<year>2019</year>
<volume>278</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>721-37</page-range></nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hajjarsaraei]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Shirazi]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Rezaeian]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Scenario-based analysis of fast track strategy optimization on emergency department using integrated safety simulation]]></article-title>
<source><![CDATA[Safety science]]></source>
<year>2018</year>
<volume>107</volume>
<page-range>9-21</page-range></nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Abubakar]]></surname>
<given-names><![CDATA[A.M.]]></given-names>
</name>
<name>
<surname><![CDATA[Adamu]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Abdulkadir]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Abdulkadir]]></surname>
<given-names><![CDATA[H.S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Discrete event simulation of clients flow in ante-natal clinic]]></article-title>
<source><![CDATA[Asian Journal of Probability and Statistics]]></source>
<year>2020</year>
<volume>6</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>63-78</page-range></nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Weinstein]]></surname>
<given-names><![CDATA[M.C.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Recent developments in decision-analytic modelling for economic evaluation]]></article-title>
<source><![CDATA[Pharmaco-economics]]></source>
<year>2006</year>
<volume>24</volume>
<page-range>1043-53</page-range></nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pongjetanapong]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[O&#8217;Sullivan]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Walker]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Furian]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Implementing complex task allocation in a cytology lab via HCCM using Flexsim HC]]></article-title>
<source><![CDATA[Simulation Modelling Practice and Theory]]></source>
<year>2018</year>
<volume>86</volume>
<page-range>139-54</page-range></nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gunal]]></surname>
<given-names><![CDATA[M.M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A guide for building hospital simulation models]]></article-title>
<source><![CDATA[Health Systems]]></source>
<year>2012</year>
<volume>1</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>17-25</page-range></nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Brailsford]]></surname>
<given-names><![CDATA[S.C.]]></given-names>
</name>
<name>
<surname><![CDATA[Hilton]]></surname>
<given-names><![CDATA[N.A.]]></given-names>
</name>
</person-group>
<source><![CDATA[A comparison of discrete event simulation and system dynamics for modelling health care systems]]></source>
<year>2001</year>
</nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Eldabi]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<source><![CDATA[Systemic characteristics to support hybrid simulation modeling]]></source>
<year>2021</year>
<conf-name><![CDATA[ Winter Simulation Conference]]></conf-name>
<conf-loc> </conf-loc>
<page-range>1-10</page-range></nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kar]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[Fakhimi]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Turner]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Eldabi]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Hybrid simulation in healthcare: a systematic exploration of models, applications, and emerging trends]]></article-title>
<source><![CDATA[Journal of Simulation]]></source>
<year>2024</year>
<page-range>1-19</page-range></nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ajmi]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Zgaya]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Gammoudi]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Hammadi]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Martinot]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Beuscart]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Renard]]></surname>
<given-names><![CDATA[J.M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Mapping patient path in the Pediatric Emergency Department: A workflow model driven approach]]></article-title>
<source><![CDATA[Journal of biomedical informatics]]></source>
<year>2014</year>
<volume>54</volume>
<page-range>315-28</page-range></nlm-citation>
</ref>
<ref id="B26">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gatewood]]></surname>
<given-names><![CDATA[M.O.]]></given-names>
</name>
<name>
<surname><![CDATA[Wemple]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Greco]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Kritek]]></surname>
<given-names><![CDATA[P.A.]]></given-names>
</name>
<name>
<surname><![CDATA[Durvasula]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A quality improvement project to improve early sepsis care in the emergency department]]></article-title>
<source><![CDATA[BMJ quality &amp; safety]]></source>
<year>2015</year>
<volume>24</volume>
<numero>12</numero>
<issue>12</issue>
<page-range>787-95</page-range></nlm-citation>
</ref>
<ref id="B27">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tekin]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Erol]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Modelling and Analysis of Operation and Patient Appointment Systems: A Case Study at a Dental Hospital in Turkey]]></source>
<year>2016</year>
<conf-name><![CDATA[ UKSim-AMSS 18th International Conference on Computer Modelling and Simulation (UKSim)]]></conf-name>
<conf-loc> </conf-loc>
<page-range>203-8</page-range></nlm-citation>
</ref>
<ref id="B28">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Weigl]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Beck]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Wehler]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Schneider]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Workflow interruptions and stress at work: A mixed-methods study among physicians and nurses of a multidisciplinary emergency department]]></article-title>
<source><![CDATA[Emergency Medicine]]></source>
<year>2017</year>
<volume>7</volume>
<numero>12</numero>
<issue>12</issue>
<page-range>1-9</page-range></nlm-citation>
</ref>
<ref id="B29">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Derni]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Boufera]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Khelfi]]></surname>
<given-names><![CDATA[M.F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Modeling and Optimizing Patients' Flows Inside Emergency Department based on the Simulation Model: A Case Study in an Algerian Hospital]]></article-title>
<source><![CDATA[International Journal of Information Engineering &amp; Electronic Business]]></source>
<year>2019</year>
<volume>11</volume>
<numero>4</numero>
<issue>4</issue>
</nlm-citation>
</ref>
<ref id="B30">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Luzi]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Pecoraro]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Tamburis]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Appraising Healthcare Delivery Provision: A Framework to Model Business Processes]]></article-title>
<source><![CDATA[Studies in health technology and informatics]]></source>
<year>2017</year>
<volume>235</volume>
<page-range>511-5</page-range></nlm-citation>
</ref>
<ref id="B31">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ma]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhao]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[You]]></surname>
<given-names><![CDATA[S.J.]]></given-names>
</name>
<name>
<surname><![CDATA[Gea]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<source><![CDATA[Analysis and design of hospital management information system based on UML]]></source>
<year>2018</year>
<conf-name><![CDATA[ 6th International Conference on Computer-Aided Design, Manufacturing, Modeling and Simulation]]></conf-name>
<conf-date>2018</conf-date>
<conf-loc> </conf-loc>
</nlm-citation>
</ref>
<ref id="B32">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Antonelli]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Bruno]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Taurino]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Analysis of patient flows in elective surgery: modelling and optimisation of the hospitalisation process]]></article-title>
<source><![CDATA[International Journal of Services and Operations Management]]></source>
<year>2018</year>
<volume>31</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>513-29</page-range></nlm-citation>
</ref>
<ref id="B33">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jemal]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Kechaou]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
<name>
<surname><![CDATA[Ben Ayed]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Alimi]]></surname>
<given-names><![CDATA[A. M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Multi Agent System for Hospital Organization]]></article-title>
<source><![CDATA[International Journal of Machine Learning and Computing]]></source>
<year>2015</year>
<volume>5</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>51-6</page-range></nlm-citation>
</ref>
<ref id="B34">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kaushal]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhao]]></surname>
<given-names><![CDATA[Y.]]></given-names>
</name>
<name>
<surname><![CDATA[Peng]]></surname>
<given-names><![CDATA[Q.]]></given-names>
</name>
<name>
<surname><![CDATA[Strome]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Weldon]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhang]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Chochinov]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Evaluation of fast track strategies using agent-based simulation modeling to reduce waiting time in a hospital emergency department]]></article-title>
<source><![CDATA[Socio-Economic Planning Sciences]]></source>
<year>2015</year>
<volume>50</volume>
<page-range>18-31</page-range></nlm-citation>
</ref>
<ref id="B35">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Liu]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
<name>
<surname><![CDATA[Rexachs]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Epelde]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Luque]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A simulation and optimization based method for calibrating agent-based emergency department models under data scarcity]]></article-title>
<source><![CDATA[Computers &amp; Industrial Engineering]]></source>
<year>2017</year>
<volume>103</volume>
<page-range>300-9</page-range></nlm-citation>
</ref>
<ref id="B36">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Yousefi]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Yousefi]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Fogliatto]]></surname>
<given-names><![CDATA[F.S.]]></given-names>
</name>
<name>
<surname><![CDATA[Ferreira]]></surname>
<given-names><![CDATA[R.P.M.]]></given-names>
</name>
<name>
<surname><![CDATA[Kim]]></surname>
<given-names><![CDATA[J.H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Simulating the behavior of patients who leave a public hospital emergency department without being seen by a physician: A cellular automaton and agent-based framework]]></article-title>
<source><![CDATA[Brazilian Journal of Medical and Biological Research]]></source>
<year>2018</year>
<volume>51</volume>
<page-range>e6961</page-range></nlm-citation>
</ref>
<ref id="B37">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Salimifard]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Hosseini]]></surname>
<given-names><![CDATA[S.Y.]]></given-names>
</name>
<name>
<surname><![CDATA[Moradi]]></surname>
<given-names><![CDATA[M.S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Improving Emergency Department Processes Using Coloured Petri Nets]]></source>
<year>2013</year>
<page-range>335-49</page-range><publisher-name><![CDATA[PNSE+ ModPE]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B38">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Derni]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Boufera]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Khelfi]]></surname>
<given-names><![CDATA[M. F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Coloured Petri net for modelling and improving emergency department based on the simulation model]]></article-title>
<source><![CDATA[International Journal of Simulation and Process Modelling]]></source>
<year>2019</year>
<volume>14</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>72-86</page-range></nlm-citation>
</ref>
<ref id="B39">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Zeinalnezhad]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Chofreh]]></surname>
<given-names><![CDATA[A.G.]]></given-names>
</name>
<name>
<surname><![CDATA[Goni]]></surname>
<given-names><![CDATA[F.A.]]></given-names>
</name>
<name>
<surname><![CDATA[Kleme&#353;]]></surname>
<given-names><![CDATA[J.J.]]></given-names>
</name>
<name>
<surname><![CDATA[Sari]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Simulation and improvement of patients&#8217; workflow in heart clinics during COVID-19 pandemic using timed coloured petri nets]]></article-title>
<source><![CDATA[International journal of environmental research and public health]]></source>
<year>2020</year>
<volume>17</volume>
<numero>22</numero>
<issue>22</issue>
<page-range>8577</page-range></nlm-citation>
</ref>
<ref id="B40">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Louhab]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
<name>
<surname><![CDATA[Boufera]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Coloured Petri Net-based approach and Genetic Algorithms for improving services in the Emergency Department]]></article-title>
<source><![CDATA[Computer Science Journal of Moldova]]></source>
<year>2024</year>
<volume>32</volume>
<numero>1</numero>
<issue>1</issue>
</nlm-citation>
</ref>
<ref id="B41">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hoare]]></surname>
<given-names><![CDATA[C.A.R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An axiomatic basis for computer programming]]></article-title>
<source><![CDATA[Communications of the ACM]]></source>
<year>1969</year>
<volume>12</volume>
<numero>10</numero>
<issue>10</issue>
<page-range>576-80</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
