Petri nets are designed to simulate systems with concurrent transitions. The reader-writer problem is a classic synchronization problem in computer science. This project simulates the reader-writer problem using a Petri net model.
To run the simulation, follow these steps:
- Download the text file containing the Petri net model from this repository.
- Open the Petri Net Editor in your web browser (https://petri.hp102.ru/pnet.html)
- Load the downloaded text file into the editor.
- Click the "Start" button to run the simulation.
- The simulation will now execute, and you can observe the token movements and markings to analyze the behavior of the reader-writer synchronization mechanism.