Petri nets have gained increasing usage and acceptance as a basic model of asynchronous
concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a …

Because of residency time constraints and activity time variation of cluster tools, it is very
difficult to operate such integrated semiconductor manufacturing equipment. This paper …

Many problems in manufacturing systems can be formulated via Markov stochastic
modeling. This paper gives a review and classification of timed models of manufacturing …

With economic development, a great amount of hazardous material is shipped in the
transport network every day. Hazardous material transportation is well known for its high …

The real-time traffic control of railway networks imposes safety constraints and authorizes
movements of trains. This work deals with it by focusing on conflict and deadlock avoidance …

Manufacturing Execution Systems (MES) optimize production and business processes at the
same time. However, the engineering and specification of MES is a challenging …

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 …

This paper addresses the problem of online fault detection and diagnosis in discrete event
systems modeled by labeled Petri nets and using Integer Linear Programming Problem …

This work is inspired by the problem of planning sequences of operations, as welding, in car
manufacturing stations where multiple industrial robots cooperate. The goal is to minimize …

In service-oriented computing, a user usually needs to locate a desired service for:(i)
fulfilling her requirements or (ii) replacing a service, which disappears or is unavailable for …