Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
Learn more
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
PetriNetExec a library for embedding Petri Nets into Java applications
...That is not really a feature :-) but to those of you able to cope with this news I suggest to read further;
* Petri Nets are created with PetriNetExec by writing Java code and using the provided API;
* PetriNetExec provides a simple yet powerful callback mechanism allowing you to actually do something when events are fired and the network status is changing.
* PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it.
* PetriNetExec is open-source.