• luafaudes
• Introduction  
• Lua-Console  
• Lua-Extensions  
• Technical Detail  
•  
• Tutorials
• 1_containers.lua  
• 2_generators.lua  
• 3_regular.lua  
• 4_composition.lua  
• 5_faulttolerant.lua  
• 6_algorithm.lua  
• decdemo_verify.lua  
• diag_1_event.lua  
• diag_2_language.lua  
• diag_3_modular.lua  
• elevator_synthesis.lua  
• ftc_tutorial_models.lua  
• ftc_tutorial_reconf.lua  
• hio_1_introduction.lua  
• hio_2_hiogenerators.lua  
• hio_3_hiofunctions.lua  
• hio_4_transport_unit.lua  
• ios_1_system.lua  
• mtc_1_generators.lua  
• mtc_2_functions.lua  
• mtc_3_observer.lua  
• op_fsmsynth_ds.lua  
• op_fsmsynth_exit1.lua  
• op_fsmsynth_exit2.lua  
• op_fsmsynth_ics.lua  
• op_fsmsynth_ms.lua  
• op_fsmsynth_pc1.lua  
• op_fsmsynth_pc1_exit1_ics.lua  
• op_fsmsynth_pc2.lua  
• syn_1_simple.lua  
• syn_3_reduction.lua  
• syn_4_validate.lua  
• syn_5_stdcons.lua  

luafaudes Tutorial: mtc_1_generators.lua

To run the below Lua script, cd to the tutorial section of the respective plug-in and enter luafaudes mtc_1_generators.lua at the command prompt. The script will read input data from ./tutorial/data/.

-- Test/demonstrate generators with colored states

-- ------------------------------------------
-- MtcSystem: construct
-- ------------------------------------------

-- Announce
print("################# Construct an mtc system")

-- Default constructor
mtcsys = faudes.MtcSystem()

-- Have a name
mtcsys:Name("mtc tutorial")

-- Insert some states by name
s1=mtcsys:InsState("down")
s2=mtcsys:InsState("middle")

-- Insert a states with color
s3=mtcsys:InsColoredState("up","low")

-- Retrieve color index 
c1=mtcsys:Colors():Index("low")

-- Insert a color to a state, record color index
c2=mtcsys:InsColor(s1,"high")

-- Insert a color to a state ...
mtcsys:InsColor(s2,c1)

-- ... and get rid of it again
mtcsys:DelColor(s2,c1)

-- Insert some events and transitions
mtcsys:InsEvent("go_up")
mtcsys:InsEvent("go_down")
mtcsys:SetTransition("up","go_down","middle")
mtcsys:SetTransition("middle","go_down","down")
mtcsys:SetTransition("down","go_up","middle")
mtcsys:SetTransition("middle","go_up","up")

-- We still have access to controllability attributes
mtcsys:SetControllable("go_down")
mtcsys:SetControllable("go_up")

-- Report to console
mtcsys:Write()

-- Graph output
mtcsys:GraphWrite('tmp_mtc_demo_gen_1.png')
-- Graph output
mtcsys:DotWrite('tmp_mtc_demo_gen_1.dot')

-- Record test case
FAUDES_TEST_DUMP("mtc system",mtcsys)

-- Test XML IO
mtcsys:XWrite('tmp_mtc_demo_gen_1.ftx')
mtcsys:Read('tmp_mtc_demo_gen_1.ftx')

-- Record test case
FAUDES_TEST_DUMP("mtc system xml io",mtcsys)

-- ------------------------------------------
-- MtcSystem: inspect
-- ------------------------------------------

-- Inspect states
print("Iterate over states")
sit=mtcsys:StatesBegin()
while(sit~=mtcsys:StatesEnd()) do
  print("State:", mtcsys:SStr(sit))
  print("Colors as set:", mtcsys:Colors(sit:Index()))
  print("Colors as attribute:", mtcsys:StateAttribute(sit:Index()))
  sit:Inc()
end

libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"