Time in State Machines

State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framework with distribution aspects. However, there is still no complete agreement when it comes to handling time in this framework. In this article we take a look at existing ways to enhance state machine frameworks. Based on this, we propose a general framework of time extensions for state machines, which we relate to existing approaches. Our mainly addresses time approaches for ASM, because ASM are considered a very general state machine model. Taking this into account, our approach is valid for state-transition systems in general.

• Type: Conference
• Year: 2005
• Where: ASM
• Authors: Susanne Graf, Andreas Prinz
• Keywords: ASM 2005, General State Machine, Microbiology, State Machine, State Machine Frameworks