With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
Total Network Visibility for Network Engineers and IT Managers
Network monitoring and troubleshooting is hard. TotalView makes it easy.
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution.
This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling".
Feel free to make any changes to the current version or ask me if you have any question.
SCTMF is an in development progress software aimed to educational learning of Formal Models, used in Computer Theory course.
The meaning of SCTMF is Sistema para Criação e Testes de Modelos Formais (Formal Model Creation and Tests System).