Automatic sustained-use discounts. One free VM per month. No negotiation needed.
Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
Try Free
Our Free Plans just got better! | Auth0
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.
PetriNetExec a library for embedding Petri Nets into Java applications
Briefly said, PetriNetExec is an open-source Java library which allows you to embed Petri Nets into your Java application.
Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network.
* PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future.
Earth3D is a program to display the earth as a 3D globe (including heightfields) in real-time. One can zoom until cities become visible. It uses huge datasets that are loaded on demand over the internet. It is possible to embed dynamic data into the view
PAVIAN - PArsing and VIsualization of Arithmetic Notations is a Java-applet, used to embed a visualization of a formula into websites. PAVIAN parses LaTeX, mathML-based or an intuitive notation on the client to display them.
JGV is a Java applet that lets you embed movable 3D objects in web pages. Users can rotate, scale, translate, select and annotate the objects interactively. Also, JGV supports XML-based transmission of user events to the source web server over HTTP.
The MDS is sponsored by the Applied Math dept at the U Colorado, Boulder. We have created a system for presenting a mathematical text online, letting users embed discussions (including math symbols!) directly in the text.