12345678910111213141516171819202122232425262728293031323334353637 |
- import sys
- sys.path.append("wrappers")
- sys.path.append("examples")
- from modelverse import *
- import SCCD_callback_SCCD
- init()
- login("admin", "admin")
- model_add("models/my_FSA", "formalisms/MyOwnFSA", """
- InitialState init{
- name = "initial"
- }
- State s1{
- name = "S1"
- }
- State s2{
- name = "S2"
- }
- Transition (init, s1) {
- trigger = "B"
- raise = "C"
- }
- Transition (s1, s2) {
- trigger = "A"
- raise = "D"
- }
- """)
- ctrl = SCCD_callback_SCCD.Controller(keep_running=False)
- thrd = threading.Thread(target=ctrl.start)
- thrd.daemon = True
- thrd.start()
- transformation_execute_AL("formalisms/MyOwnFSA_activities/simulate", {"FSA": "models/my_FSA"}, {}, (ctrl, "inp", "outp"))
|