Abstract System safety, reliability and risk analysis are important tasks that are performed
throughout the system life-cycle to ensure the dependability of safety-critical systems …

While the literature related to supply-chain disruptions is informative, it has primarily focused
on supply-chain disruptions from a general or high-level view of the phenomenon (eg supply …

The aim of this study is to show how a timed Petri nets framework can be used to model and
analyze a supply chain (SC) network which is subject to various risks. The method is …

There has been a long-lasting misunderstanding in the literature of artificial intelligence and
uncertainty modeling, regarding the role of fuzzy set theory and many-valued logics. The …

Time Petri nets (TPN's) are first introduced by Merlin and Farber [MF76]. In a TPN, two time
values are defined for each transition, α s and β s, where α s is the minimum time the …

Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing
system. Their occurrences often deteriorate the utilization of resources and may lead to …

This paper surveys recent research on the application of Petri net models to the analysis and
synthesis of controllers for discrete event systems. Petri nets have been used extensively in …

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 …

Given the size, complexity and dynamic nature of many supply chains, there is a need to
understand the impact of disruptions on the operation of the system. This paper presents 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 …