scholarly journals multiPDEVS: A Parallel Multicomponent System Specification Formalism

Complexity ◽  
2018 ◽  
Vol 2018 ◽  
pp. 1-19 ◽  
Author(s):  
Damien Foures ◽  
Romain Franceschini ◽  
Paul-Antoine Bisgambiglia ◽  
Bernard P. Zeigler
Keyword(s):  
Cellular Automata ◽  
Discrete Event ◽  
Multicomponent System ◽  
Fire Spread ◽  
Atomic Model ◽  
State Transitions ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Simulation Procedure ◽  
Event System

Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and components able to influence each other using exclusively their state transitions. We next show the soundness of the formalism by giving a construction showing that any multiPDEVS model is equivalent to a PDEVS atomic model. We then present the simulation procedure associated, usually called abstract simulator. As a well-adapted formalism to express cellular automata, we finally propose to compare an implementation of multiPDEVS formalism with a more classical Cell-DEVS implementation through a fire spread application.

scholarly journals Specification of dynamic structure discrete event systems using single point encapsulated control functions

2014 ◽  
Vol 05 (03) ◽  
pp. 1450012 ◽  
Author(s):  
Alexandre Muzy ◽  
Bernard P. Zeigler
Keyword(s):  
Discrete Event Systems ◽  
Single Point ◽  
Discrete Event ◽  
Dynamic Structure ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Usual Definition ◽  
Control Functions ◽  
Event System ◽  
Structure Changes

In Discrete Event System Specification (DEVS), the dynamics of a network is constituted only by the dynamics of its basic components. The state of each component is fully encapsulated. Control in the network is fully decentralized to each component. At dynamic structure level, DEVS should permit the same level of decentralization. However, it is hard to ensure structure consistency while letting all components achieve structure changes. Besides, this solution can be complex to implement. To avoid these difficulties, usual dynamic structure approaches ensure structure consistency allowing structure changes to be done only by the network having newly added dynamics change capabilities. This is a safe and simple way to achieve dynamic structure. However, it should be possible to simply allow components of a network to modify the structure of their network, other components and/or their own structure — without having to modify the usual definition a DEVS network. In this manuscript, it is shown that a simple fully decentralized approach is possible while ensuring full modularity and structure consistency.

scholarly journals A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes

2020 ◽  
Vol 44 (2) ◽  
pp. 257-273
Author(s):  
Sofiane Boukelkoul ◽  
Ramdane Maamri
Keyword(s):  
Business Processes ◽  
Discrete Event ◽  
Dynamic Structure ◽  
Discrete Event System ◽  
Structural Constraints ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Event System ◽  
Proposed Model ◽  
Structure Properties

This paper presents a DSDEVS-based model “Dynamic Structure Discrete Event System specification” for modeling and simulating business processes with dynamic structure regarding to different contexts. Consequently, this model, formally, improves the reuse of configurable business processes. Thus, the proposed model allows the analysts to personalize their configurable business processes in a sound manner by verifying a set of structure properties, such as, the lack of synchronization and the deadlock by means of simulation. The implementation was done in DEVS-Suite simulator, which is based on DEVSJAVA models.

scholarly journals Modeling and simulation of oncology clinic operations in discrete event system specification

SIMULATION ◽  
2017 ◽  
Vol 94 (2) ◽  
pp. 105-121 ◽  
Author(s):  
Michelle M Alvarado ◽  
Tanisha G Cotton ◽  
Lewis Ntaimo ◽  
Eduardo Pérez ◽  
William R Carpentier
Keyword(s):  
Operations Management ◽  
Discrete Event ◽  
Treatment Method ◽  
Discrete Event System ◽  
Arrival Process ◽  
System Specification ◽  
Operation Performance ◽  
Discrete Event System Specification ◽  
Event System ◽  
Chemotherapy Patients

Oncology clinics are often burdened with scheduling large volumes of cancer patients for chemotherapy under limited resources, such as nurses and chemotherapy chairs. Chemotherapy is a cancer treatment method that is administered orally or intravenously at an outpatient oncology clinic. Chemotherapy patients require a treatment regimen, which is a series of appointments over several weeks or months prescribed by the oncologist. The timing of these appointments is critical to the effectiveness of the chemotherapy treatment on cancer. This motivates the need for new methods for making efficient appointment schedules and for assessing clinic operation performance from both patient and management perspectives. This work uses a classic modeling approach based on systems theory to develop a discrete event system specification (DEVS) simulation model for oncology clinic operations called DEVS-CHEMO. DEVS-CHEMO is configurable to any oncology clinic and provides several capabilities for oncology clinic managers. For example, it can simulate scheduling of chemotherapy patients, clinic resources, and the arrival process of the patients to the clinic on the day of their appointment. This model simulates oncology clinic operations as patients receive chemotherapy treatments and thus allows for assessing scheduling algorithms using both patient and management perspectives. DEVS-CHEMO has been tested and validated using historical data from a real outpatient oncology clinic and the simulation results reported in this paper provide several insights regarding oncology clinic operations management.

Sign in / Sign up

Export Citation Format

Share Document