| English | Russian |
| Events take variable amounts of time in real life, and this variability is reflected in the Petri net model by not depending on a notion of time to control the sequence of events | в реальной жизни различные события укладываются в различные интервалы времени, и это отражено в модели сети Петри независимостью от времени управления последовательностью событий (ssn) |
| in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| Relative timers provide some form of event "in a certain number of seconds", while absolute timers provide this event "at a certain time" | Относительные таймеры обеспечивают генерацию событий "через определённое число секунд", в то время как абсолютные таймеры генерируют события "в определённое время" (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| this reflects a philosophy of time which states that the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | это отражает философский подход к понятию времени, утверждающий, что одно из важнейших свойств времени, с логической точки зрения, – это определение частичного упорядочения событий (ssn) |
| this reflects a philosophy of time which states that the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | это отражает философский подход к понятию времени, утверждающий, что одно из важнейших свойств времени, с логической точки зрения, это определение частичного упорядочения событий (ssn) |
| with this context, the compucentric nature of modern mechanical systems designs becomes clearer. Computational capabilities and limitations must be considered at all stages of the design and implementation process. In particular, the effectiveness of the final production system will depend very heavily on the quality of the real time software that controls the machine | Учитывая это, природа компьютеризации проектов современных механических систем становится более понятной. Вычислительные способности и ограничения должны рассматриваться на всех стадиях процесса проектирования и реализации. В частности, эффективность окончательной промышленной системы будет существенно зависеть от качества функционирования программного обеспечения в реальном масштабе времени, которое управляет механизмом (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
