Generally, Lock and Unlock statements are primitives that should be wholly imple- mented,i.e.,the test of lock state and the operation of locking must be executed continuously without being interrupted. Different f...Generally, Lock and Unlock statements are primitives that should be wholly imple- mented,i.e.,the test of lock state and the operation of locking must be executed continuously without being interrupted. Different from nmormal lock operations, the lock and Unlock algorithm Presented in this paper can be interrupted anywhere by other processes The value of the algorithm in the implementation of concurrent control and mutually-exclusive operations was elucidated with one application of the algorithm in a heterogeneous datedbase united system.展开更多
Integration amongst various decision-making processes, such as planning, design, and operation is necessary to dynamic and flexible batch production. To achieve a batch production integration, utilization of common mo...Integration amongst various decision-making processes, such as planning, design, and operation is necessary to dynamic and flexible batch production. To achieve a batch production integration, utilization of common models used for various decision-making processes is an effective approach. From this point of view, a batch system common model as described by a Petri net is proposed. In this article, a fault diagnosis technique for batch processes is presented using information about fault propagation and the possibilities of integration of fault analysis and controller synthesis are discussed on the basis of the Petri net based common models.展开更多
文摘Generally, Lock and Unlock statements are primitives that should be wholly imple- mented,i.e.,the test of lock state and the operation of locking must be executed continuously without being interrupted. Different from nmormal lock operations, the lock and Unlock algorithm Presented in this paper can be interrupted anywhere by other processes The value of the algorithm in the implementation of concurrent control and mutually-exclusive operations was elucidated with one application of the algorithm in a heterogeneous datedbase united system.
文摘Integration amongst various decision-making processes, such as planning, design, and operation is necessary to dynamic and flexible batch production. To achieve a batch production integration, utilization of common models used for various decision-making processes is an effective approach. From this point of view, a batch system common model as described by a Petri net is proposed. In this article, a fault diagnosis technique for batch processes is presented using information about fault propagation and the possibilities of integration of fault analysis and controller synthesis are discussed on the basis of the Petri net based common models.
