A decentralized supervisory controller design approach, using overlapping decompositions, is proposed for discrete-event systems modelled by Petri nets to avoid deadlock. In this approach, the given original Petri net is ...

Analysis and control algorithms are introduced for discrete-event systems which are modeled by Petri nets. A simulation and control design program is then developed to implement these algorithms. The program can simulate ...

…

Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, ...

A decentralized supervisory controller design approach for discrete-event systems (DESs) modeled by automata or formal languages is presented. The controller is designed in order to lead the DES to certain desired marked ...

Timed Petri Nets is a powerful modeling paradigm for concurrent and dynamic systems such as railway systems. In this work, Timed-Arc Petri nets, which has been recently proposed by authors, is considered for modeling railway ...

In this work, a new graphical and mathematical model is presented as a new approach for Deterministic Timed Arc Petri Net. In the proposed Timed Arc Petri Net, time is associated with arcs in transition firing process. In ...

In this work, a novel model is proposed for Deterministic Timed Arc Petri Nets. In the proposed Timed Arc Petri Net, transition firing processes are associated with time, where time is interpreted as firing delays, hence ...

In this study, BUG 1 navigation algorithm which is a simple motion planner, is modelled by the Petri net (PN) for a mobile robot (MR). We prefer this PN model to obtain the discrete data for this algorithm. PN is used as ...

In this study, the coordinate of the line position for a differential drive line-following mobile robot is estimated by using the Minimum Variance Unbiased Estimator. Using the sensor data as an observation data and ...