A cyber-physical system (CPS) typically consists of the plant, sensors, actuators, the
controller and a communication network. The communication network connects the …

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 …

In order to reduce the harm of earthquakes to human society, all governments actively
promote the construction and development of earthquake emergency rescue work. The …

Logic Petri Nets (LPNs) is a high-level Petri net, which have the capability to model the batch
and indeterminate processing of resources in cooperative systems. Their modeling …

Real-life business processes may change over time in response to new business
requirements, market changes, new policies or regulations, etc., which is called concept drift …

In recent years, opacity has received increasing attention in terms of analyzing security and
privacy problems. Opacity is a confidentiality property that characterizes a system's ability to …

Petri net (PN) is an effective modeling and analysis tool for discrete event systems. By
attaching a first-order logic predicate logic formula to a transition in a PN, a high-level Petri …

The paper proposes a novel design technique of cyber-physical systems (CPSs). The
system is specified by a Petri net, and further modelled in a hardware description language …

Process models are important for supporting organizations in documenting, understanding
and monitoring their business. When these process models become outdated, they need to …

Process models can be discovered from event logs generated by the enterprise information
system. As business processes' frequently changing, some activities in event logs may …