Software support for teaching Petri nets: P3

P3 is an application designed for teaching Petri nets within a course on architecture and organization of computers (AOC). Existing Petri net software implements different Petri net concepts, but does not give full support for learning their basic postulates. The idea of P3 is to enable learning Petri nets in a more obvious and quicker way in order to use them for hardware modeling. Therefore, P3 has a more suitable graphical user interface and implements model simulation with dynamic model modification, interactive model analysis, and copying of the results to the graph of the observed model.