classic devsmsdl.cs.mcgill.ca/people/yentl/files/18.springsim...yentl van tendeloo and hans...
TRANSCRIPT
![Page 1: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/1.jpg)
Classic DEVSPractical Modelling Techniques Using PythonPDEVS
Yentl Van Tendeloo, Hans Vangheluwe
![Page 2: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/2.jpg)
IntroductionBrief recap of introductory DEVS tutorial
![Page 3: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/3.jpg)
Bernard P. Zeigler.
Theory Of Modelling And Simulation.
1st ed. Wiley, 1976.
Bernard P. Zeigler, Herbert Praehofer,
and Tag Gon Kim.
Theory Of Modelling And Simulation.
2nd ed. Academic Press, 2000.
Bernard P. Zeigler.
Multifacetted Modelling and
Discrete Event Simulation.
1st ed. Academic Press, 1984.
![Page 4: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/4.jpg)
Yentl Van Tendeloo and Hans Vangheluwe.
An Evaluation of DEVS Simulation Tools.
Simulation: Transactions of the Society
for Modeling and Simulation International.
2017, 93(2): 103-121
Yentl Van Tendeloo and Hans Vangheluwe.
An Overview of PythonPDEVS.
In Proceedings of JournΓ©es DEVS
Francophones (JDF), pages 59-66, 2016.
![Page 5: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/5.jpg)
Our presentation uses initialized DEVS models, which
contain an initial total state. This was left implicit in
the original DEVS specification.
Yentl Van Tendeloo and Hans Vangheluwe. Extending the DEVS
Formalism with Initialization Information, 2018. ArXiv e-prints.
![Page 6: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/6.jpg)
π = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
π : set of input events
π : set of output events
π : set of sequential states
πππππ‘ : ππ = π , π π β π, 0 β€ π β€ π‘π(π )
πΏπππ‘ : π β ππΏππ₯π‘: π Γ π β ππ : π β π βͺ ππ‘π : π β β0,+β
+
Atomic DEVS Specification
![Page 7: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/7.jpg)
π = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
π : set of input events
π : set of output events
π : set of sequential states
πππππ‘ : ππ = π , π π β π, 0 β€ π β€ π‘π(π )
πΏπππ‘ : π β ππΏππ₯π‘: π Γ π β ππ : π β π βͺ ππ‘π : π β β0,+β
+
Atomic DEVS Specification
![Page 8: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/8.jpg)
S
t
(π π , 0)
π‘π π π
(πΏππ₯π‘ π π , π , π₯ , 0)
(πΏπππ‘(π π), 0)
πΏππ₯π‘
πΏπππ‘
output π(π π)
π‘π π‘π + π π‘π + π‘π π π
π
![Page 9: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/9.jpg)
πΆ = ππ πππ, ππ πππ, π·,ππ, πΌπ, ππ, π πππππ‘
πΌπ = πΌπ π β π· βͺ π πππβ π β π· βͺ π πππ βΆ πΌπ β π· βͺ π πππ
β π β π· βͺ π πππ βΆ π β πΌπ
ππ = ππ,π π β π· βͺ π πππ , π β πΌπππ πππ,π βΆ ππ πππ β ππ , β π β π·
ππ,π πππ βΆ ππ β ππ πππ, β π β π·
ππ,π βΆ ππ β ππ , β π, π β π·
π πππππ‘ βΆ 2π· β π·β πΈ β π·, πΈ β β : π πππππ‘ πΈ β πΈ
ππ = ππ π β π·
ππ = ππ , ππ , ππ , πππππ‘,π , πΏπππ‘,π , πΏππ₯π‘,π , ππ , π‘ππ , β π β π·
Coupled DEVS Specification
![Page 10: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/10.jpg)
(done, t)
(*, t)
(y, t)
(x, t)(*, t)
(done, t) (done, t)
Root coordinator
Coordinator
SimulatorSimulator
Coupled DEVS
Atomic DEVS Atomic DEVS
(i, t)
(done, t)
(done, t)
(i, t)
(done, t)
![Page 11: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/11.jpg)
![Page 12: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/12.jpg)
![Page 13: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/13.jpg)
![Page 14: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/14.jpg)
![Page 15: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/15.jpg)
Closure Under CouplingDenotational semantics for Coupled DEVS models
![Page 16: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/16.jpg)
π΄πππππππ΄ππππ
ππππ
take_break toAuto
go_to_work toManual
?
![Page 17: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/17.jpg)
?πΆπ = ππ πππ , ππ πππ , π·,ππ, πΌπ, ππ ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
flatten
![Page 18: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/18.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21ππΆπ
ππΆπ
π1
π2
![Page 19: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/19.jpg)
ππΆπ
ππΆπ
π1
π2
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
π = ππΆππ = ππΆπ
![Page 20: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/20.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21ππΆπ
ππΆπ
π1
π2
π 1, π1
π 2, π2π2
π1
![Page 21: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/21.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
π = Γπβπ· ππ
CM
21ππΆπ
ππΆπ
π1
π2
π 1, π1
π 2, π2π2
π1
![Page 22: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/22.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21ππΆπ
ππΆπ
π1
π2
π 1, π1 = πππππ‘,1
π 2, π2 = πππππ‘,2π2
π1
π‘π1 π 1
π‘π2 π 2
![Page 23: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/23.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
πππππ‘ = π ππππ‘, πππππ‘
ππΆπ
ππΆπ
π1
π2
π 1, π1 = πππππ‘,1
π 2, π2 = πππππ‘,2π2
π1
π‘π1 π 1
π‘π2 π 2
![Page 24: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/24.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
πππππ‘ = π ππππ‘, πππππ‘
π ππππ‘ = β¦ , π ππππ‘,π , πππππ‘,π β πππππ‘ , β¦
ππΆπ
ππΆπ
π1
π2
π 1, π1 = πππππ‘,1
π 2, π2 = πππππ‘,2π2
π1
π‘π1 π 1
π‘π2 π 2
![Page 25: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/25.jpg)
πππππ‘ = minπβπ·
πππππ‘,π
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
πππππ‘ = π ππππ‘, πππππ‘
π ππππ‘ = β¦ , π ππππ‘,π , πππππ‘,π β πππππ‘ , β¦
ππΆπ
ππΆπ
π1
π2
π 1, π1 = πππππ‘,1
π 2, π2 = πππππ‘,2π2
π1
π‘π1 π 1
π‘π2 π 2
![Page 26: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/26.jpg)
πππππ‘ = minπβπ·
πππππ‘,π
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
πππππ‘ = π ππππ‘, πππππ‘
π ππππ‘,π , πππππ‘,π = πππππ‘,π
π ππππ‘ = β¦ , π ππππ‘,π , πππππ‘,π β πππππ‘ , β¦
ππΆπ
ππΆπ
π1
π2
π 1, π1 = πππππ‘,1
π 2, π2 = πππππ‘,2π2
π1
π‘π1 π 1
π‘π2 π 2
![Page 27: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/27.jpg)
ππΆπ
ππΆπ
π1
π2
π‘π1
π‘π2
π‘
π1 ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
![Page 28: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/28.jpg)
π‘π βΆ π β β0,+β+
π‘π π = minπβπ·
ππ = π‘ππ π π β ππ
π1
π2
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21ππΆπ
ππΆπ
π1
π2
π‘π1
π‘π2
π‘
π1
![Page 29: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/29.jpg)
π‘π βΆ π β β0,+β+
π‘π π = minπβπ·
ππ = π‘ππ π π β ππ
πΌππ π = π β π· ππ = π‘π(π )π πππππ‘(πΌππ π ) = πβ
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
π1
π2
ππΆπ
ππΆπ
π1
π2
π‘π1
π‘π2
π‘
π1
![Page 30: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/30.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21ππΆπ
ππΆπ
π1
π2
π‘
![Page 31: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/31.jpg)
ππΆπ
ππΆπ
π1
π2π π = ΰ΅
ππβ,π πππ ππβ π πβ
β
ππ π πππ β πΌπβ
ππ π πππ β πΌπβ
π‘
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
π¦2
![Page 32: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/32.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21ππΆπ
ππΆπ
π1
π2
π‘
π 1, 0
π 1, π‘π1 π 1
π 2, π2π 2, π2 + π‘π π = π‘π2(π 2)
π 2β² , 0
π‘π π
![Page 33: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/33.jpg)
πΏπππ‘ π = β¦ , π πβ², ππ
β² , β¦
π πβ², ππ
β² =
πΏπππ‘,π π π , 0 πππ π = πβ
? πππ π β πΌπβ β π πππ
π π , ππ + π‘π π πππ π
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21ππΆπ
ππΆπ
π1
π2
π‘
π 1, 0
π 1, π‘π1 π 1
π 2, π2π 2, π2 + π‘π π = π‘π2(π 2)
π 2β² , 0
π‘π π
![Page 34: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/34.jpg)
π‘
ππΆπ
ππΆπ
π1
π2 πΏπππ‘ π = β¦ , π πβ², ππ
β² , β¦
π πβ², ππ
β² =
πΏπππ‘,π π π , 0 πππ π = πβ
πΏππ₯π‘,π π π , ππ + π‘π π , ππβ,π ππβ π πβ , 0 πππ π β πΌπβ β π πππ
π π , ππ + π‘π π πππ π
π 1, π1π 1, π1 + π‘π π = π‘π1(π 1)
π 2, π2π 2, π2 + π‘π π β€ π‘π2 π 2
πΏπππ‘
πΏππ₯π‘
π 1β² , 0
π 2β² , 0
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21π¦1
π₯2
![Page 35: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/35.jpg)
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21ππΆπ
ππΆπ
π1
π2
π‘
π
π1
![Page 36: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/36.jpg)
πΏππ₯π‘ π , π , π₯ = β¦ , π πβ², ππ
β² , β¦
π πβ², ππ
β² = απΏππ₯π‘,π π π , ππ + π , ππ πππ,π π₯ , 0 πππ π β πΌπ πππ
π π , ππ + π πππ π
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
CM
21
π¦π πππ
ππΆπ
ππΆπ
π1
π2
π‘
π
π1
![Page 37: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/37.jpg)
π = Γπβπ· ππ
π‘π π = minπβπ·
ππ = π‘ππ π π β ππ
πΌππ π = π β π· ππ = π‘π(π )
π π = ΰ΅ππβ,π πππ ππβ π πβ
π
ππ π πππ β πΌπβ
ππ π πππ β πΌπβ
πΏπππ‘ π = β¦ , π πβ², ππ
β² , β¦
π πβ², ππ
β² = απΏππ₯π‘,π π π , ππ + π , ππ πππ,π π₯ , 0 πππ π β πΌπ πππ
π π , ππ + π πππ π
ππππ‘π‘ππ πΆπ = π, π, π, πππππ‘, πΏπππ‘ , πΏππ₯π‘, π, π‘π
πππππ‘ = minπβπ·
πππππ‘,π
πππππ‘ = π ππππ‘ , πππππ‘ β π
π πβ², ππ
β² =
πΏπππ‘,π π π , 0 πππ π = πβ
πΏππ₯π‘,π π π , ππ + π‘π π , ππβ,π ππβ π πβ , 0 πππ π β πΌπβ
π π , ππ + π‘π π πππ π
π = ππΆππ = ππΆπ
π ππππ‘,π , πππππ‘,π = πππππ‘,π
π ππππ‘ = (β¦ , π ππππ‘,π , πππππ‘,π β πππππ‘ , β¦ )
π = π , π π β π, 0 β€ π β€ π‘π(π )
πβ = π πππππ‘(πΌππ π )
πΏππ₯π‘ π , π , π₯ = β¦ , π πβ², ππ
β² , β¦
![Page 38: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/38.jpg)
Applications of DEVSDEVS in practice
![Page 39: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/39.jpg)
![Page 40: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/40.jpg)
http://irh.inf.unideb.hu/user/jsztrik/education/09/english/3f.html
![Page 41: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/41.jpg)
http://irh.inf.unideb.hu/user/jsztrik/education/09/english/3f.html
![Page 42: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/42.jpg)
![Page 43: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/43.jpg)
![Page 44: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/44.jpg)
πππ π‘ = 10 Γ #πππβπ‘π + ππ£π(π‘π‘πππ£ππ)
![Page 45: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/45.jpg)
Generator StatisticsQueue
Notifier
Poller
β¦
Queue
Notifier
Poller
β¦
![Page 46: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/46.jpg)
Custom Atomic DEVS ModelsExtending a DEVS repository
![Page 47: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/47.jpg)
π = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
π : set of input events
π : set of output events
π : set of sequential states
πππππ‘ : ππ = π , π π β π, 0 β€ π β€ π‘π(π )
πΏπππ‘ : π β ππΏππ₯π‘: π Γ π β ππ : π β π βͺ ππ‘π : π β β0,+β
+
Atomic DEVS Specification
![Page 48: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/48.jpg)
π = π, π, π, πππππ‘, πΏπππ‘, πΏππ₯π‘, π, π‘π
π : set of input events
π : set of output events
π : set of sequential states
πππππ‘ : ππ = π , π π β π, 0 β€ π β€ π‘π(π )
πΏπππ‘ : π β ππΏππ₯π‘: π Γ π β ππ : π β π βͺ ππ‘π : π β β0,+β
+
Atomic DEVS Specification
![Page 49: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/49.jpg)
Pattern 1: Ignore an Event
X
![Page 50: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/50.jpg)
Pattern 1: Ignore an Event
0.1 seconds
later
X Y
![Page 51: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/51.jpg)
Pattern 1: Ignore an Event
π‘π(π π)
![Page 52: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/52.jpg)
Pattern 1: Ignore an Event
π‘π(π π)
![Page 53: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/53.jpg)
Pattern 1: Ignore an Event
π‘π(π πβ²)π
π‘π π πβ² = π‘π π π β π
![Page 54: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/54.jpg)
Pattern 1: Ignore an Event
class RailwaySegmentState():
def __init__(self):
self.timer = INFINITY
class RailwaySegment(AtomicDEVS):
def extTransition(self, inputs):
self.state.timer -= self.elapsed
β¦
def timeAdvance(self):
return self.state.timer
![Page 55: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/55.jpg)
Pattern 2: Simulated Time
π₯ seconds
later
π‘ = π π‘ = π + π₯
![Page 56: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/56.jpg)
Pattern 2: Simulated Time
π₯ seconds
later
π‘ = π π‘ = π + π₯
π‘π‘ππππ ππ‘ = π₯
![Page 57: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/57.jpg)
Pattern 2: Simulated Time
π₯ seconds
later
π‘ = π π‘ = π + π₯
π‘π‘ππππ ππ‘ = π₯
π‘ = ?
![Page 58: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/58.jpg)
Pattern 2: Simulated Time
π‘π ππ = π₯
![Page 59: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/59.jpg)
Pattern 2: Simulated Time
π‘π(π π)
π‘π ππ = π₯
![Page 60: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/60.jpg)
Pattern 2: Simulated Time
π‘π(π π)
π‘π ππ = π₯
π‘π ππ = π₯ + π‘π π π
![Page 61: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/61.jpg)
Pattern 2: Simulated Time
π
π‘π ππ = π₯
![Page 62: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/62.jpg)
Pattern 2: Simulated Time
π
π‘π ππ = π₯
π‘π ππ = π₯ + π
![Page 63: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/63.jpg)
Pattern 2: Simulated Time
class GeneratorState:
def __init__(self):
self.t_sim = 0.0
β¦
class Generator(AtomicDEVS):
def __init__(self):
self.state = GeneratorState()
β¦
def intTransition(self):
self.state.t_sim += self.timeAdvance()
β¦
def extTransition(self, inputs):
self.state.t_sim += self.elapsed
β¦
![Page 64: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/64.jpg)
Pattern 3: Multiple Timers
![Page 65: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/65.jpg)
Pattern 3: Multiple Timers
π‘π‘ππππ
π‘ππ’πππ¦
?
π‘π(π π)
![Page 66: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/66.jpg)
Pattern 3: Multiple Timers
π‘π‘ππππ
π‘ππ’πππ¦
?
π‘π(π π)π‘π(π π)
![Page 67: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/67.jpg)
Pattern 3: Multiple Timers
π‘π‘ππππ
π‘ππ’πππ¦
?
π‘π(π π)
![Page 68: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/68.jpg)
Pattern 3: Multiple Timers
class RailwaySegmentState:
def __init__(self):
self.t_query = INFINITY
self.t_train = INFINITY
class RailwaySegment(AtomicDEVS):
def timeAdvance(self):
return min(self.state.t_query, \
self.state.t_train)
def extTransition(self, inputs):
self.state.t_query -= self.elapsed
self.state.t_train -= self.elapsed
β¦
β¦
def intTransition(self):
self.state.t_query -= self.timeAdvance()
self.state.t_train -= self.timeAdvance()
if (self.state.t_query == 0):
β¦ # process query
elif (self.state.t_train == 0):
β¦ # process train
![Page 69: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/69.jpg)
Pattern 4: Statistics Gathering
[1815.7; 1901.1; 1801.4; 1867.3; 1911.8; 1846.4; 1844.3; 1873.5; β¦]
π trains = π doubles = 8π bytes
![Page 70: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/70.jpg)
Pattern 4: Statistics Gathering
[1815.7; 1901.1; 1801.4; 1867.3; 1911.8; 1846.4; 1844.3; 1873.5; β¦]
π π’π =
π
π‘π‘πππ£ππ = 36,902,140.45
πππ’ππ‘ = πππππ£πππ = 20,000
ππ£π =π π’π
πππ’ππ‘
π trains = π doubles = 8π bytes
π trains = 1 double + 1 long long int = 16 bytes
![Page 71: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/71.jpg)
Pattern 4: Statistics Gathering
class CollectorState():
def __init__(self):
self.counter = 0
self.accum = 0.0
self.t_sim = 0.0
class Collector(AtomicDEVS):
def extTransition(self, inputs):
left = inputs[self.train].left
transit = self.state.t_sim β left
self.accum += transit
self.counter += 1
![Page 72: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/72.jpg)
Pattern 5: Complex State/Event
π π, π
![Page 73: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/73.jpg)
Pattern 5: Complex State/Event
π π, π
π = π‘πππππ‘ππππ, π‘ππππππ’πππ¦ , π£π‘ππππ, π‘π‘ππππ, ππ‘ππππ π‘πππππ‘ππππ β β+, β¦
π, π = π‘, π£, π π‘ β β+, β¦ βͺ query βͺ πππππ’π πππππ’π β πππ, πππππ
![Page 74: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/74.jpg)
Pattern 5: Complex State/Event
class Train:
def __init__(self, t, a):
self.t = t
self.a = a
self.v = 0.0
class Query:
def __init__(self):
pass
class QueryAck:
def __init__(self, colour):
self.colour = colour
class RailwaySegmentState:
def __init__(self):
self.train = None
class RailwaySegment(AtomicDEVS):
def __init__(self):
self.state = RailwaySegmentState()
β¦
def extTransition(self, inputs):
β¦
self.state.train = inputs[self.train_in]
β¦
![Page 75: Classic DEVSmsdl.cs.mcgill.ca/people/yentl/files/18.SpringSim...Yentl Van Tendeloo and Hans Vangheluwe. An Evaluation of DEVS Simulation Tools. Simulation: Transactions of the Society](https://reader036.vdocuments.us/reader036/viewer/2022071104/5fddbfb3b1d47c1c5c2d3d4f/html5/thumbnails/75.jpg)
Conclusion
http://msdl.cs.mcgill.ca/projects/PythonPDEVS