| English | Russian |
| Given the place representation of input and output symbols, we can complete the modeling of finite state systems | Задав представление позиций, соответствующих символам входа и выхода, мы можем завершить построение модели системы конечных состояний (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) |
| in this section we show how Petri nets can faithfully model many systems of concurrently executing cooperating processes | в этом разделе мы покажем, как сети Петри могут моделировать различные системы параллельных взаимодействующих процессов (см. Petri Net Theory And The Modeling Of Systems / James L. Peterson 1981) |
| Naturally, some aspects of methodology are implied by the elements that comprise a UML model, but UML itself just provides a visual syntax that we can use to construct models | Конечно, некоторые методические аспекты подразумеваются элементами, составляющими модель UML, но сам UML предоставляет собой лишь визуальный синтаксис, который можно использовать для создания моделей (см. UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design, Second Edition by Jim Arlow and Ila Neustadt 2005 ssn) |
| We've looked at Neutrino's time-based functions, including timers and how they can be used, as well as kernel timeouts | мы рассмотрели функции Neutrino, ответственные за манипулирование временем, включая таймеры и их применение, а также тайм-ауты ядра (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
