Service-oriented computing provides a suitable technological foundation for developing and executing dynamic business processes. However, most current approaches for composition languages and architectures for dynamic process integration do not provide the flexibility and dynamism required by interorganisational evolving environments. In this work, the DENEB platform for the development and exe...

Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the nets-within-nets approach, allowing to model systems of interacting dynamic agents in a natural way. One of the main problems in verifying of such systems is the State Explosion Problem. To tackle this problem for highly concurrent systems the unfolding method has proved to be very helpful. In this paper we conti...

The present work is aimed at analyzing the thermoelastic disturbances in a circular plate of finite thickness and infinite extent subjected to constant initial temperature and axisymmetric heat supply. Integral transform technique is used. Analytic solutions for temperature, displacement and stresses are derived within the context of unified system of equations in generalized thermoelasticity i...

the effect of steel plate thickness on the repair effectiveness of rc beam is presented in this paper. a total of four beams were tested, one beam repaired by cfrp with a thickness of 1.2 mm and used as a control beam, and three beams repaired by a steel plate. steel plates with a thickness of 2 mm, 3 mm, and 4 mm were used in repairing the beams. the maximum load-carrying capacity, deflection ...

A two dimensional generalized thermoelastic problem of a thick circular plate of finite thickness and infinite extent subjected to continuous axisymmetric heat supply and an internal heat generation is studied within the context of generalized thermoelasticity. Unified system of equations for classical coupled thermoelasticity, Lord-Shulman and Green-Lindsay theory is considered. An exact solut...

The cell plate of higher plants is formed within a ribosome-excluding cell plate assembly matrix. Phragmoplast microtubules facilitate cell-plate formation by forming a scaffold that directs Golgi-derived vesicles to the forming cell plate. Here, we analyse the effects of the cell-plate assembly matrix on phragmoplast microtubule plus-end geometry by electron tomography of cryogenically fixed A...