1,391 research outputs found
A modelling and simulation framework for health care systems.
International audienceIn this paper, we propose a new modeling methodology named MedPRO for addressing organization problems of health care systems. It is based on a metamodel with three different views: process view (care pathways of patients), resource view (activities of relevant resources), and organization view (dependence and organization of resources). The resulting metamodel can be instantiated for a specific health care system and be converted into an executable model for simulation by means of a special class of Petri nets (PNs), called Health Care Petri Nets (HCPNs). HCPN models also serve as a basis for short-term planning and scheduling of health care activities. As a result, the MedPRO methodology leads to a fast-prototyping tool for easy and rigorous modeling and simulation of health care systems. A case study is presented to show the benefits of the MedPRO methodology
An approach to resource modelling in support of the life cycle engineering of enterprise systems
Enterprise modelling can facilitate the design, analysis, control and construction of
contemporary enterprises which can compete in world-wide Product markets. This
research involves a systematic study of enterprise modelling with a particular focus on
resource modelling in support of the life cycle engineering of enterprise systems.
This led to the specification and design of a framework for resource modelling. This
framework was conceived to:
classify resource types;
identify the different functions that resource modelling can support, with respect to
different life phases of enterprise systems;
clarify the relationship between resource models and other modelling perspectives
provide mechanisms which link resource models and other types of models;
identify guidelines for the capture of information - on resources, leading to the
establishment of a set of resource reference models.
The author also designed and implemented a resource modelling tool which conforms
to the principles laid down by the framework. This tool realises important aspects of
the resource modeffing concepts so defined.
Furthermore, two case studies have been carried out. One models a metal cutting
environment, and the other is based on an electronics industry problem area. In this
way, the feasibility of concepts embodied in the framework and the design of the
resource modelling tool has been tested and evaluated.
Following a literature survey and preliminary investigation, the CIMOSA enterprise
modelling and integration methodology was adopted and extended within this
research. Here the resource modelling tool was built by extending SEWOSA (System
Engineering Workbench for Open System Architecture) and utilising the CIMBIOSYS
(CINI-Building Integrated Open SYStems) integrating infrastructure.
The main contributions of the research are that: a framework for resource modelling has been established; means and mechanisms have been proposed, implemented and tested which link and coordinate different modelling perspectives into an unified enterprise model; the mechanisms and resource models generated by this research support each Pfe
phase of systems engineering projects and demonstrate benefits by increasing the
degree to which the derivation process among models is automated
Recent advances in petri nets and concurrency
CEUR Workshop Proceeding
On the Computability of Agent-Based Workflows
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines as agents and making use of a theoretical computer and statecharts, we prove that many workflow problems do not have computer-based solutions. We also demonstrate a sufficient condition under which computers are able to solve these problems. We end by discussing the relationships between our research and Petri Nets, the multi-agent framework in the literature, linear programming and workflow verification
- …