Petri nets, as a graphical and mathematical tool, provide a uniform environment for
modelling, formal analysis, and design of discrete event systems. The main objective of this …

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 …

It is well-recognized that obsolete or discarded products can cause serious environmental
pollution if they are poorly be handled. They contain reusable resource that can be recycled …

Wire rod and bar rolling is an important batch production process in steel production
systems. A scheduling problem originated from this process is studied in this work by …

Industrial products' reuse, recovery, and recycling are very important due to the exhaustion
of ecological resources. Effective product disassembly planning methods can improve the …

After going through all the previous chapters, it would be natural for readers to conclude that
DES are inherently complex and hard to analyze, regardless of the modeling framework …

Formal methods for the specification and verification of hardware and software systems are
becoming more and more important as systems increase in size and complexity. The aim of …

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 …

A variety of important Petri net-based methods to prevent deadlocks arising in flexible
manufacturing systems (FMS) are to add some control places and related arcs to strict …

Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …