scholarly journals Distributed Monitoring Based on P-Time Petri Nets and Chronicle Recognition of the Tunisian Railway Network

2020 ◽  
Vol 2020 ◽  
pp. 1-12
Author(s):  
Anis M’halla ◽  
Dimitri Lefebvre ◽  
Mouhaned Gaied
Keyword(s):  
Petri Nets ◽  
Discrete Event ◽  
Time Constraints ◽  
Time Petri Nets ◽  
Distributed Monitoring ◽  
Railway Network ◽  
Traffic Incidents ◽  
Event System ◽  
Railway Networks

This paper falls under the problems of the monitoring of a Discrete Event System (DES) with time constraints. Among the various techniques used for online and distributed monitoring, we are interested in the chronicle recognition. Chronicles are temporal patterns that represent the system’s possible evolutions. The proposed models are based on P-time Petri nets that are suitable to represent with accuracy and modularity the Tunisian railway network. These models are scalable and may be used to represent a large variety of railway networks. Then, monitoring is based on the generation of chronicles that are suitable to detect and isolate traffic incidents in a distributed setting. Consequently, the proposed approach is tractable for large networks. Finally, to demonstrate the effectiveness and accuracy of the approach, an application to the case study of the Tunisian railway network is outlined.

scholarly journals Multi-Perspective Modeling of Healthcare Systems

2017 ◽  
Vol 5 (2) ◽  
pp. 1-20 ◽  
Author(s):  
Ignace Djitog ◽  
Hamzat Olanrewaju Aliyu ◽  
Mamadou Kaba Traoré
Keyword(s):  
Specific Problem ◽  
Discrete Event ◽  
Healthcare Systems ◽  
Proof Of Concept ◽  
System Specification ◽  
Disease Propagation ◽  
Dynamic Update ◽  
Event System ◽  
Simulation Based

This paper presents a multi-perspective approach to Modeling and Simulation (M&S) of Healthcare Systems (HS) such that different perspectives are defined and integrated together. The interactions between the isolated perspectives are done through dynamic update of models output-to-parameter integration during concurrent simulations. Most often, simulation-based studies of HS in the literature focus on specific problem like allocation of resources, disease propagation, and population dynamics that are studied with constant parameters from their respective experimental frames throughout the simulation. The proposed idea provides a closer representation of the real situation and helps to capture the interactions between seemingly independent concerns - and the effects of such interactions - in simulation results. The article provides a DEVS (Discrete Event System Specification)-based formalization of the loose integration of the different perspectives, an Object-Oriented framework for its realization and a case study as illustration and proof of concept.

P-Time Petri Nets for Manufacturing Systems with Staying Time Constraints

1997 ◽  
Vol 30 (6) ◽  
pp. 1487-1492 ◽  
Author(s):  
Soizick Calvez ◽  
Pascal Aygalinc ◽  
Wael Khansa
Keyword(s):  
Petri Nets ◽  
Manufacturing Systems ◽  
Time Constraints ◽  
Time Petri Nets ◽  
Staying Time

scholarly journals Max-Plus Linear Equation System and Its Application on Railway Network System

2020 ◽  
Vol 2 (1) ◽  
Author(s):  
Andro Kurniawan ◽  
Ari Suparwanto
Keyword(s):  
Production Systems ◽  
Discrete Event ◽  
Equation System ◽  
Network System ◽  
Network Systems ◽  
Railway Network ◽  
Traffic Lights ◽  
Rail Network ◽  
Event System ◽  
Linear Equation System

Max-Plus algebra is the set of R U {-~} with R is the set of all real numbersthat are equipped with maximum operation and addition. Max-Plus algebra is able tomodel several types of Discrete Event System (DES) which are nonlinear in conventional algebra to be linear in Max-Plus algebra, so we can do further analysis of the system. Types of DES will be linear in the form of Max-Plus algebra which only synchronizes without any concurrency such as railway network systems, production systems, traffic lights, etc. This research discusses the application of the linear Max-Plus equation in the train schedules and involves synchronization between trains. The result of this study are obtained DAOP VI Yogyakarta rail network system model in the form of x(k + 1) = A otimes x (k) which is then used to determine the departure period and the time of initial train departure. The departure period is obtained from the eigenvalue (lambda) from the A matrix and the initial departure is obtained from the eigenvector corresponding to lambda. The calculation shows that the train departure period is T = 588 minutes.

Robust control for railway transport networks based on stochastic P-timed Petri net models

2019 ◽  
Vol 233 (7) ◽  
pp. 830-846
Author(s):  
Mouhaned Gaied ◽  
Anis M’halla ◽  
Dimitri Lefebvre ◽  
Kamel Ben Othmen
Keyword(s):  
Robust Control ◽  
Petri Nets ◽  
Discrete Event Systems ◽  
Optimization Problems ◽  
Discrete Event ◽  
Transport Systems ◽  
Time Constraints ◽  
Railway Transport ◽  
Transport Networks ◽  
Event Systems

This article is devoted to the modeling, performance evaluation and robust control of the railway transport network in Sahel Tunisia. The regular increase in the number of passengers makes the management of transportation systems more and more complex. Railway transport requires specific needs. Indeed, many decision and optimization problems occur from the planning phase to the implementation phase. Railway transport networks can be considered as discrete event systems with time constraints. The time factor is a critical parameter, since it includes schedules to be respected in order to avoid overlaps, delays and collisions between trains. The uncertainties affect the service and the availability of transportation resources and, consequently, the transport scheduling plan. Petri nets have been recognized as powerful modeling and analysis tools for discrete event systems with time constraints. Consequently, they are suitable for railway transport systems. In this article, stochastic P-time Petri nets are used for the railway transport networks in Sahel Tunisia. A global model is first detailed. Then, this model is used to analyze the network traffic and evaluate the performance of the system. Robustness again disturbances is introduced and a control strategy is developed to reduce the consequences of the disturbances in order to maintain the expected schedule.

Sign in / Sign up

Export Citation Format

Share Document