Средства и методы разработки

Можно предположить, что все события не одновременны, а разделены минимальным квантом времени, большим нуля (планковское время, например). Тогда не возникает неоднозначности, если события обрабатываются строго последовательно, в порядке их поступления (это -- важное условие). И в любом случае CPU не может проверить одновременность событий до сколько угодно малых временных промежутков и будет ошибаться в ту или иную сторону на величину периода опроса входов, хоть с автоматами, хоть без. Я вообще не понимаю о чём вы.