Sentence examples for nets process from inspiring English sources

As a consequence, it can serve as a specification language for computational systems, a role that is also occupied by, say, Petri nets, process calculi, λ-calculus, etc.

The former covers Boolean networks, interacting state machines, Petri nets, process algebras and hybrid models, whereas the latter covers differential equations, Petri nets, cellular automata, agent-based models and process algebras.

The approach is just an amalgamation of a number of well-known and well-researched ideas, including flowcharts, Floyd assertions, Petri nets, process algebra, separation logic, critical regions and rely/guarantee reasoning.

Also, the "Catch-up (mass, free distribution)" campaigns should be backed up by the "Keep-up (long-term, routine access to new nets)" process to sustain coverage over time [28].

To compute the transport of energy during the diffusion jump process, and then Q∗, the processes of thermal activation to the transition state and the decay from the transition state are considered to be inverses; thus the net process is reduced to the analysis of the purely mechanical decay process.

Fourth, the construction of the finite-net process (p = mathrm{INet}(N(m_0))) from the finite P/T net system (N(m_0)) is inaccurate in [18], as Net(p) may have more transitions than (N(m_0)); as the previous construction used too few bound names, it was impossible to link precisely the tokens consumed by a transition to the actual place from which these tokens are to be consumed.

The net process must be secretion rather than filtration because the blood-brain barrier is an effective barrier.

It is important to keep in mind that the terms filtration or reabsorption each describe a net process.

This review has been concerned only with the evidence that the net process is a secretion and not with either the mechanisms or the importance of short-term local control.

The molecular mechanisms for movements of Na+ and water across the walls of peripheral microvessels look more like diffusion than flow, but nevertheless the net process is still filtration.

Third, the finiteness theorem was wrongly stated in [18]: in fact, Net(p) is finite not for all finite-net processes, but only for well-formed finite-net processes.