xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems.
José L. Risco-MartínSaurabh MittalKevin HenaresRomán CárdenasPatricia ArrobaPublished in: Softw. Pract. Exp. (2023)
Keyphrases
- discrete event systems
- discrete event
- discrete event simulation
- timed petri nets
- petri net
- colored petri nets
- telecommunication networks
- complex systems
- model based diagnosis
- dynamic systems
- simulation model
- mathematical modeling
- failure diagnosis
- formal models
- web services
- digital libraries
- cooperative
- expert systems
- agent based modeling
- computational complexity
- search algorithm