Deadlock problems in flexible manufacturing systems (FMS) have received more and more
attention in the last two decades. Petri nets are one of the more promising mathematical …

In use-case-driven system design, one need to derive from a set of use cases an integrated
system design that meets at least two objectives. First, the system design must be consistent …

Cyber-physical systems (CPSs) are physical and engineered systems whose operations are
monitored. Cyber-physical systems having quality-of-service (QoS) requirements driven by …

Augmented marked graphs are often used in modelling shared resource systems. A major
reason is that they possess a structure especially desirable for modelling shared resources …

Augmented marked graphs possess some structural characteristics which are desirable for
modelling shared-resource systems. This paper investigates the compositional synthesis of …

Augmented marked graphs were first introduced in 1997 (Chu & Xie, 1997). They are not
well known as compared to other sub-classes of Petri nets such as free-choice nets (Desel & …

Augmented marked graphs have a number of known properties pertaining to their liveness
and reversibility and are often used in modelling flexible manufacturing systems. This paper …

A manufacturing system is typically a shared resource system whose components never
have unlimited capacities. In manufacturing system design, a major objective is to achieve a …

Augmented marked graphs possess some structural characteristics which are especially
desirable for modelling systems with common resources. This paper first investigates the …

Augmented marked graphs possess a number of structural characteristics which are
desirable for modelling manufacturing system components. This paper investigates the …