DEVS Example¶ Model Generator Model PEG PEG.ext_trans() PEG.int_trans() PEG.output() Buffer Model Buffer Buffer.ext_trans() Buffer.int_trans() Buffer.output() Recieve Model MsgRecv MsgRecv.ext_trans() MsgRecv.int_trans() MsgRecv.output() Structural Model STM Simultion Behavioral Model Simulation Example execute_simulation() test_casual_order1() test_classical_devs() test_execution_mode() Structural Model Simulation Example test_f() Hierarchical Simulation Example execute_simulation() test_f() Anti-Torpedo Simulator¶ Anti-Torpedo Simulator Introduction Scenario Explanation Save and Restore Functionality Important Notes References Bank Simulation¶ BankSim Simulator Introduction Scenario Explanation Save and Restore Functionality Important Notes References Model Banksim User Generate Model BankUser BankUser.calc_wait_time() BankUser.get_arrival_time() BankUser.get_id() BankUser.get_service_time() BankUser.get_wait_time() BankUser.set_arrival_time() BankUser.set_drop_time() BankUserGenerator BankUserGenerator.ext_trans() BankUserGenerator.get_user() BankUserGenerator.int_trans() BankUserGenerator.output() BankUserGenerator.set_state_idle() Banksim Queue Model BankQueue BankQueue.ext_trans() BankQueue.int_trans() BankQueue.output() BankQueue.set_proc_num() BankQueue.set_queue_size() Banksim Accountant Model BankAccountant BankAccountant.ext_trans() BankAccountant.int_trans() BankAccountant.output() Banksim Result Model BankResult BankResult.ext_trans() BankResult.get_result() BankResult.int_trans() BankResult.output() Simultion Banksim Classic Banksim Model Snapshot Banksim Model Snapshot Banksim Model Snapshot Restore Banksim Simulation(Model and Model Relation) Snapshot Banksim Simulation Snapshot Banksim Simulation Snapshot Restore Municipal Waste Management Simulator¶ Municipal Waste Management Simulator Introduction Scenario Explanation Save and Restore Functionality Important Notes References