The creation of value-added services by automatic composition of existing ones is gaining
significant momentum as the potential silver bullet in service-oriented computing. A large …

Strict minimal siphons (SMS) play an important role in the development of deadlock control
policies for flexible manufacturing systems (FMS). For a class of Petri nets called Systems of …

In its fabrication, a wafer must meet its residency time constraints, ie, it must leave its process
chamber within a certain time after its process is done. It may need to visit some processing …

E-commerce and online shopping with a third-party payment platform have rapidly
developed recently, and encountered many fault tolerance and security problems concerned …

This paper proposes a Petri-net-based specification of cyber-physical systems dedicated to
the control of a direct matrix converter with space vector modulation (SVM) and transistor …

For some wafer fabrication processes, such as an atomic layer deposition (ALD) process,
the wafers need to visit some process modules for a number of times. Using the existing …

As the preferred underpinning technology of intelligent transportation systems (ITS),
vehicular ad hoc networks (VANETs) have been widely used to cope with various traffic …

This paper studies the challenging problem of scheduling single-arm multi-cluster tools with
wafer residency time constraints. They have a linear topology and their bottleneck tool is …

In recent years, industrial facilities are devoting ever greater attention to the importance of
energy in their operations. It directly supports the challenges of high availability, quality …

Disassembly is a systematic method to separate an end-of-life product into its constituent
parts and components. However, the disassembly process of products can experience great …