• 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: op_fsmsynth_ms.lua

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

-- Perform the hierarchical synthesis for the overall "Manufacturing System" (MS)

-- Make faudes name space global
faudes.MakeGlobal()

-- Disable graph output
faudes.DotExecPath("none")  

-- Run low level synthesis scripts
dofile("op_fsmsynth_ds.lua")
dofile("op_fsmsynth_pc1.lua")
dofile("op_fsmsynth_pc2.lua")
dofile("op_fsmsynth_exit1.lua")
dofile("op_fsmsynth_exit2.lua")
dofile("op_fsmsynth_ics.lua")
dofile("op_fsmsynth_pc1_exit1_ics.lua")


-- =================================
-- Variables
-- =================================

plantGen = System()
specGen = Generator()
spec1Gen = Generator()
spec2Gen = Generator()
spec3Gen = Generator()
spec4Gen = Generator()
spec5Gen = Generator()
spec6Gen = Generator()
spec7Gen = Generator()
supGen = System()
highGen = System()
high1Gen = System()
high2Gen = System()
high3Gen = System()
high5Gen = System()
high6Gen = System()
highAlph = EventSet()

-- =================================
-- Highlevel-synthesis
-- =================================

-- compose plant
high1Gen = System("data/fsmsynth/pc1-exit1-ics/pc1exit1ics[4]_msalcc.gen");
high2Gen = System("data/fsmsynth/ds/ds[2]_msalcc.gen");
high3Gen = System("data/fsmsynth/pc2/pc2[3]_msalcc.gen");
high5Gen = System("data/fsmsynth/exit2/exit2[3]_msalcc.gen")
Parallel(high1Gen,high3Gen,supGen);
Parallel(supGen,high2Gen,high1Gen);
Parallel(high1Gen,high5Gen,plantGen)
plantGen:StateNamesEnabled(false);
plantGen:Write("data/fsmsynth/ms[4]_msalcc.gen");

-- perform synthesis
SupConNB(plantGen,plantGen,supGen);
supGen:StateNamesEnabled(false);
supGen:Write("data/fsmsynth/ms[4]_sup_msalcc.gen");
print("State count of the MS supervisor: ", supGen:Size() )

-- record testcase
supGen:Name("mssup")
FAUDES_TEST_DUMP("MS",supGen)

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