From article: The first is physical time, which is what most people think of as “time”. Physical time is duration something takes to run. Logical time is the a

From article: The first is physical time, which is what most people think of as “time”. Physical time is duration something takes to run. Logical time is the abstract division of the system into epochs. State machines formalize logical time.