Algebraic Petri nets as deened by Reisig 15] lack a feature for modelling distributed network algorithms, viz. exible arcs. In this paper we equip algebraic Petri nets with exible arcs and we call the resulting extension algebraic system nets. We demonstrate that algebraic system nets are better suited for modelling distributed algorithms. Besides this practical motivation for introducing algeb...

In process planning, how to obtain an optimal process planning is the essential of computer-aided process planning (CAPP) system. The main goal of CAPP system is to derive manufacturing features and machining operations from a design model and sequence the machining operations of the part in a feasible (by some technological constraints) and effective (by some economical standards) order. In th...

A batch process is a discontinuous and concurrent process which is suitable for multi-product, small-sized production. The distinctive feature of a batch process is that various decision making processes, such as scheduling, design, operation, etc. are strongly connected with each other. Interaction among these processes is necessary to dynamically and flexibly cope with a variety of unplanned ...

A novel diagnosis method has been developed based on transistor operating point analysis. The method is worked by the way of fault logic propagation trace based on voltage value and the way of operation time setting of each gate circuit. The former way is to detect penetration current net result from fault, replace the net with impedance net, calculate voltage value of each node of the impedanc...

Based on an analysis of the working principles of the hydraulic variable pitch system of a wind turbine, a novel Petri net model and reliability evaluation method are proposed. First, Petri net theory is adopted to build a model for each discrete state of the operation of the hydraulic pitch system of the wind turbine and at the same time a fault Petri net model is established. Then through qua...

We describe the concept of distributed problem solving and define it as the cooperative solution of problems by a decentralized and loosely coupled collection of problem solvers. This approach to problem solving offers the promise of increased performance and provides a useful medium for exploring and developing new problem-solving techniques. We present a framework called the contract net that...

Developing an economic net-zero energy infrastructure for the manufacturing industry can play a critical role to achieve goal of affordable, reliable, and sustainable clean paradigm next generation. However, it is quite challenging develop such due uncertain demand system, intermittent electricity generation from renewable sources, time use (TOU) pricing electricity, integrated operational plan...