This project have a goal of development an enviroment to model and simulate an formal method named Petri Net. This tool must be build to help student undergraduate in a college course.
LicenseAcademic Free License (AFL)
Follow Formal Method Tool
Today's small-to-medium-sized (SMB) businesses and large enterprises are saving on their monthly communications costs by making one simple decision: to switch to a VoIP service solution from their old, outdated Plain Old Telephone Service (POTS). By choosing a new VoIP service, these companies enjoy the flexibility, reliability, call features, and audio quality that only a VoIP service can provide. Plus, they cut their phone bill by up to 70%!
Rate This ProjectLogin To Rate This Project
Be the first to post a review of Formal Method Tool!