CONTROLLABLE DEADLOCKS IN PARALLEL RESOURCE-CONSTRAINED WORKFLOWS

Controllable Deadlocks in Parallel Resource-Constrained Workflows

We study the verification of the soundness property for workflow nets extended with resources.A workflow is Evaporator Deflector sound if it terminates properly (no deadlocks and livelocks are possible).A class of resource-constrained workflow nets (RCWF-nets) is considered, where resources can be used by a process instance, but cannot be created o

read more

Complete mitogenome of the invasive bivalve Rangia cuneata

We sequenced the complete mitogenome of a Baltic Sea specimen of the invasive bivalve Rangia cuneata.The mitogenome is 18,993 bp long and encodes 13 proteins, 2 rRNAs, and 700C 22 tRNAs.A large intergenic region between ND6 and ND2 contains an open reading frame that Koozie may originate from duplication of ND2.The R.cuneata mitogenome is rearrange

read more



Determination of Planetary Boundary Layer height with Lidar Signals Using Maximum Limited Height Initialization and Range Restriction (MLHI-RR)

The planetary boundary layer height (PBLH) is a vital parameter to characterize the surface convection, which determines the diffusion of air pollutants.The accurate inversion of PBLH is extremely important for the study of aerosol concentrations, in order to predict air quality and BODY BALM provide weather forecast.Aerosol lidar, a powerful remot

read more