שליחה במסרון: Petri net theory and the modeling of systems