PetriNets para Android

PetriNets is an Android application designed for modeling and simulating Petri nets, which are essential for describing concurrent systems. The application allows users to create graphical representations of nets, define initial token markings, and conduct interactive simulations. Users can manually or automatically trigger transitions to observe the behavior of models. Additionally, the app supports analysis features, including the generation of reachability and coverability trees, making it a valuable resource for university students, engineers, and researchers interested in formal modeling and system behavior analysis.

This educational tool acts as a portable workspace for Place-Transition Petri nets. It includes a graphical editor that enables users to construct diagrams with essential elements such as places for token storage, transitions representing events, and arcs that connect these components. The app is particularly beneficial for diagram-based exercises and rapid prototyping on mobile devices, offering an intuitive interface that caters to the needs of students and professionals engaged in formal methods.