First of all, I would like to take this opportunity to express my sincere and deep thanks to our
Editor-in-Chief, Professor MengChu Zhou, who took over my position after I was drafted for …

The paper proposes an algorithm for safeness verification of a Petri net-based specification
of the control part of cyberphysical systems. The method involves a linear algebra technique …

Reachability is the basis for studying other dynamic properties of Petri nets (PNs). When a
state equation is used to determine the reachability of a marking, we need to judge whether …

Resource allocation systems (RASs) exist in various fields of modern society. The deadlock
control problem is a crucial issue in control theory of RAS. This work is concentrated on a …

This article addresses the robust control problem of discrete event systems assuming that
replacement attacks may occur, thus making it appear that an event that has occurred looks …

Purpose Human-like musculoskeletal robots can fulfill flexible movement and manipulation
with the help of multi joints and actuators. However, in general, sophisticated structures …

The paper proposes a novel modelling and analysis technique of the system supporting
implementation of additive manufacturing (AM) technologies specified by the interpreted …

In automated manufacturing systems, the completion of all essential products must be
guaranteed. Hence, each process of a system should have outputs. This outcome requires …

Unbounded Petri nets (UPNs) can describe and analyze discrete event systems with infinite
states (DESIS). Due to the infinite state space and the combination explosion problem, the …

In recent decades, deadlock control for automated manufacturing systems has been an
active area. Most researchers have assumed that allocated resources, such as sensors …