Petri nets provide a formal graphical and mathematical framework for modeling concurrent, asynchronous, distributed discrete-event manufacturing systems. Bipartite directed graphs connect places (representing state conditions) and transitions (representing events). A transition fires when all input places contain sufficient tokens, updating the global system marking vector according to incidence matrix algebra.