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 …

Petri net is used widely to analyze and model various systems formally. Recently, many Petri
nets mania devote their efforts to enhancing and extending the expressive power of Petri …

Petri nets, a formal model for concurrent and distributed systems, have been widely applied
in system modeling and analysis in almost every branch of computer science and many …

From a practical perspective, a novel method using multi-category support vector machines
(MC-SVM) is proposed to identify supply chain disruptions (SCD). With the data related to …

Artificial intelligence can play an important role in the reduction of manufacturing costs and
the enhancement of production efficiency and product quality. In order to assist designers in …

The integration of design and planning of flexible assembly system has been recognized as
a tool for achieving efficient assembly in a production environment that demands assembly …

Petri net is used widely to analyze and model various systems formally. Recently, Many Petri
nets mania devote their efforts to enhancing and extending the expressive Power of Petri …

Change management is very important to reduce risks and costs and maximizes the benefits
of such major changes in business and information technology. Business Process Modeling …

Many business processes are highly dynamic and require changes even during execution.
Existing commercial Business Process Management Systems (BPMS) fail to support such …

Control of operational production systems requires a reaction to disturbances. In this paper,
the authors present a Petri net model describing a decision-making mechanism induced by …