Diabetes intensive care unit (ICU) patients are at increased risk of complications leading to
in-hospital mortality. Assessing the likelihood of death is a challenging and time-consuming …

The recent developments of technologies in Internet of Things (IoT) provide the opportunities
for smart manufacturing with real-time traceability, visibility, and interoperability in production …

In the context of automated manufacturing systems (AMSs), Petri nets are widely adopted to
solve the modeling, analysis, and control problems. So far, nearly all known approaches to …

In complex processes, various events can happen in different sequences. The prediction of
the next event given an a-priori process state is of importance in such processes. Recent …

As the threat landscape in the industrial domain continually advances, security-by-design is
an ever-growing concern in the engineering of cyber-physical production systems (CPPSs) …

Modern complex systems require intensive application of sophisticated supervisors.
Structural simplification techniques are one of the fundamental researches in the context of …

To ensure the privacy preservation and transparent use of regulated medical big data at
decentralized and distributed medical institutions, this paper proposes a blockchain-based …

Internet of Things (IoT) technologies enable development of reconfigurable manufacturing
systems—a new generation of modularized industrial equipment suitable for highly …

This paper presents an ordinary Petri net (PN)-based approach to the modeling and race-
detection problems of programs for programmable logic controllers (PLCs). First, a PLC …

Grafcet standard (IEC60848) is a formalism used in the world of manufacturing control, at the
behavioral specification stage of a system. For specifying safe-critical systems, mathematical …