Abstract The contribution introduces modeling distributed workflow processes using extended Petri nets with the new construction which is the interruption routing. Petri nets notation is used for representation of the four main routing constructs as well as for the workflow process. In this paper, we explain and model four main routing construct and the new construct interruption by using extended Petri... The contribution introduces modeling distributed workflow processes using extended Petri nets with the new construction which is the interruption routing. Petri nets notation is used for representation of the four main routing constructs as well as for the workflow process. In this paper, we explain and model four main routing construct and the new construct interruption by using extended Petri nets. Read More Read Less

Abstract The contribution introduces modeling distributed workflow processes using extended Petri nets with the new construction which is the interruption routing. Petri nets notation is used for representation of the four main routing constructs as well as for the workflow process. In this paper, we explain and model four main routing construct and the new construct interruption by using extended Petri... The contribution introduces modeling distributed workflow processes using extended Petri nets with the new construction which is the interruption routing. Petri nets notation is used for representation of the four main routing constructs as well as for the workflow process. In this paper, we explain and model four main routing construct and the new construct interruption by using extended Petri nets. Read More Read Less

Abstract On the basis of analyzing the heat transfer performance of solid granular beds, an unsteady-state heat conduction model describing the temperature change of the grains is built and the finite-difference implicit schemes are theoretically deduced using the volume equilibrium method for numerical simulation. The validation of the numerical model is checked through compared with the experimental results. A temperature collection... On the basis of analyzing the heat transfer performance of solid granular beds, an unsteady-state heat conduction model describing the temperature change of the grains is built and the finite-difference implicit schemes are theoretically deduced using the volume equilibrium method for numerical simulation. The validation of the numerical model is checked through compared with the experimental results. A temperature collection system is designed and developed. As a part of the system, an initial temperature simulator for measuring the initial temperature of grains is also developed according to the similarity principle. This system can accurately measure the temperature field and real-time average temperature of the grains and simultaneously transfer the temperature information to the computer terminals through the controller area network bus. Read More Read Less