Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing
system. Their occurrences often deteriorate the utilization of resources and may lead to …

Deadlock prevention plays an important role in the modeling and control of flexible
manufacturing systems (FMS). This paper presents a novel and computationally efficient …

To reduce the computational burden in the scheduling of robotic cellular manufacturing
(RCM) systems based on Petri nets'(PNs) reachability graphs, existing methods mainly focus …

Computation tree logic of knowledge (CTLK) can be used to specify many properties related
to privacy of multiagent systems (MASs). Our previous work defined knowledge-oriented …

Given a discrete event system, it is said to be opaque if an intruder who can partially observe
system behavior cannot infer that the system is necessarily in a predefined secret. A discrete …

The behaviour of asynchronous circuits is often described by Signal Transition Graphs
(STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of …

Based on the systems of simple sequential processes with resources (S 3 PR) model, the
existing methods involve prohibitive computation to synthesize a deadlock prevention …

The behaviour of asynchronous circuits is often described by Signal Transition Graphs
(STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of …

This article focuses on the issue of checking critical observability for labeled Petri nets.
Critical observability is a property related to the safety concern of cyber-physical systems …

This monograph presents the state-of-the-art developments in the design of behaviorally
and structurally optimal livenessen-forcing Petri net supervisors with computationally …