Abstract: The verification of opacity of discrete event systems (DESs) is subjected to the curse of dimensionality because this issue has been proven to be EXPSPACE-complete. Therefore, how to improve ...
SPADES (Solver for PArallel Discrete Event Simulation) is an open-source parallel discrete event simulation (PDES) package built on the AMReX library. Targeted at solving discrete event systems in ...
Abstract: Petri nets (PNs) are graphical and mathematical tools used to model a variety of discrete event systems and analyze their properties. Reachability is their fundamental property that is ...
Fives ProSim, a subsidiary of the Fives Group and an expert in industrial process simulation and optimization, announces the release of ProSimPlus Python API. This new solution enables users to run ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results