Supply Chain Operation Modelling and Automation Using Untimed and Timed State Tree Structures