As a preliminary overview, this work provides first a broad tutorial on the fluidization of
discrete event dynamic models, an efficient technique for dealing with the classical state …

Ensuring nonblockingness remains challenging for automated manufacturing systems
(AMSs) owing to their discrete event dynamics. Both scalability and maximal permissiveness …

The development of efficient solutions for deadlock problem in large-scale automated
manufacturing systems (AMSs) is an issue of increasing interest in the scientific community …

Due to the competition for limited resources by many concurrent processes in large scale
automated manufacturing systems (AMS), one has to resolve a deadlock issue in order to …

This paper focuses on the target marking control problem of timed continuous Petri nets
(TCPN), aiming to drive the system from an initial state to a desired final one. This problem is …

This paper considers the problem of reaching a desired final state from a given initial one.
Models are assumed to be Choice-Free continuous Petri nets. A minimum-time …

A well-established control mechanism for automated manufacturing systems (AMSs) can
ensure not only nonblockingness but also maximal permissiveness as well as low …

Controllability is a property related to the capability of driving a system to any desirable
(steady) state or state trajectory. As in discrete nets, continuous nets can be controlled by …

A distributed continuous Petri net system (DCPN) is composed of several subsystems that
are interconnected through buffers that are origin and destination private (ie modelled by …

A distributed continuous Petri net system (DCPN) is composed of several subsystems which
are interconnected through buffers that are origin and destination private (ie, modeled by …