Wide-known TIme petri Net Analyzer Tina, prize-winner of the Model-Checking Contest, implements Maxsteps options, including Sleptsov nets, in its recent release 3.8.0
https://projects.laas.fr/tina/maxsteps_.php Now Tina represents a professional toolset of concurrent software design for Sleptsov Net Computing (SNC) http://daze.ho.ua/12-snc.html For hierarchical software design, Tina is complemented by a compiler-linker of SNs and other tools described in https://doi.org/10.1142/S0129626423500068 Hardware prototyping of an SN machine is ongoing. -- Yours truly, Dmitry Zaitsev Dr.Sci., Professor, Senior Member of ACM and IEEE https://dimazaitsev.github.io
