We are concerned with causality semantics in the executions of Petri nets with range arcs. Range arcs combine (and subsume) the distinctive features of inhibitor and activator arcs, and each such arc provides a means of specifying a range (a finite or infinite interval of non-negative integers) for the number of tokens in a place which makes enabling of a given transition possible. We demonstra...

Estuarine hydrodynamics is a key factor in the definition of the filtering capacity of an estuary and results from the interaction of the processes that control the inlet morphodynamics and those that are acting in the mixing of the water in the estuary. The hydrodynamics and suspended sediment transport in the Camboriú estuary were assessed by two field campaigns conducted in 1998 that covered...

Transverse spherocity is an event shape observable, which separates the events based on their geometrical shapes. In this work, we use transverse to study identified light flavor production in heavy-ion collisions using A Multi-Phase Transport (AMPT) model. We obtain elliptic flow coefficients for pions, kaons and protons Pb+Pb at $\sqrt{s_{\rm{NN}}} = 5.02$ TeV as a function of collision centr...